Changed Fomega records, variants, and branches to use custom list constructors

This is necessary to easily have meta-variables to range over
these syntactic sorts in typing rules and desugarings using
concrete syntax.
Changed the syntax definition for fields and type declarations

We construct the lists by hand to have distinct sorts
for meta-variables.
Adaption to custom list constructors for fields and type declarations