#44 Schema expression as first declaration in schema

[Petra Malik]

\begin{schema}{Foo}
[x:\nat]
\where
x > 10
\end{schema}

should parse but doesn't. The problem is the latex to unicode conversion, which interprets the "[" token as the beginning of the formal parameters and therefore expects a generic schema here.