Process Elm-AST into suitable datatypes

Aggregate Information like:

• All pre/postconditios
• type invariants
• to be continued

Plus, maybe get rid of some constructs in the AST.