How can I define a new environment with multiple optional arguments, and know which one I am using?

I want to define an environment that uses two optional arguments, but i want to be able to use one with <> and the other with []

Here is what I have done:

\NewDocumentCommand\why{O{\equiv}m}%
    { #1 & \quad\langle\;\text{{#2}}\;\rangle }

\NewDocumentCommand\res{m}%
    { & #1}

\NewDocumentCommand\To{}{\Rightarrow}

\NewDocumentEnvironment{derivation}{D<>{1.2} O{0pt}}{
  \begingroup
  \renewcommand{\arraystretch}{#1}
  \setlength{\tabcolsep}{#2}
  \begin{tabular}{>{$}l<{$} >{$}l<{$}}
}{
  \end{tabular}
  \endgroup
}

When I try to use any of the optional arguments either they print in the pdf or I just get an error. How can I fix this?

The code of the example is:

\documentclass{article}
\usepackage{xparse}
\usepackage{mathtools}
\usepackage{nicematrix}
\usepackage[spanish]{babel}

\ExplSyntaxOn
\NewDocumentCommand\why{O{\equiv}m}%
    { #1 & \quad\langle\;\text{{#2}}\;\rangle }

\NewDocumentCommand\res{m}%
    { & #1}

\NewDocumentCommand\To{}{\Rightarrow}

\NewDocumentEnvironment{derivation}{D<>{1.2} O{0pt}}{
  \renewcommand{\arraystretch}{#1}
  \setlength{\tabcolsep}{#2}
  \begin{tabular}{>{$}l<{$} >{$}l<{$}}
}{
  \end{tabular}
}
\ExplSyntaxOff

\begin{document}
\begin{center}
  \begin{derivation}<1.5>
          \res{ (p \To \neg q) \land (\neg q \To \neg p) }\\
      \why[\To]{ Transitividad($\To$) }\\
          \res{ p \To \neg p }\\
      \why{ Def.(alt)($\To$) }\\
          \res{ \neg p \lor \neg p }\\
      \why{ Idempotencia($\lor$) }\\
          \res{ \neg p }
  \end{derivation}
\end{center}
\end{document}

Apparently, the issue is the babel package.