analyze code prior to desugaring
test the type-check-first
Removed unnecessary test code
Removed one variable sum comprehensions and fixed dosum-notation
Updated todo
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.
do not apply analyze bottom-up, analysis must do the traversal
reduce SDF timeout
extend example for type-checking annotations
toward analysis annotations in editor
fix recursion in analysis application
extend example
recreate proper ParentAttachments
editor shows expression types on mouse hover
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
Added missing renamings
Towards an implementation of records and variant types
Implementation of missing judgments
protect against NPE