As an intermediate step, between pure model-data and generated code, we want an AST to generate code from.

This will contain expressions parsed from both textual Prolog code and as well as other structures from the drawings.

The AST should be more practical for analysis, and allow things like singleton-warnings (and a great number of other warnings/ error-messages) to be generated in a comfortable way

Parsing all textual Prolog code (with a pratt-parser) will also be a part of this milestone.