On the way to generate the (expression) type checker from typing rules.
Extra non-terminals for fields, branches, and type declarataions.

I hoped it would make using concrete syntax in the type rules easier
in these cases.
Fixed typos.
Prepared for name generation during translation.