\begin{psyntax}{Type aliases}{typealias}
\synt{type\ alias}
\begin{stack}
\\
\lit*{type}
\end{stack}
\synt{identifier}
\end{psyntax}