added syntax for @ patterns
new generated build file
new Views.esv
added syntax for not formulas
priority for not formulas
new derived files
extract desugaring and labelling into own files, call both after analysis
pp rules for Wld and As
new generated files
proper support for imports
Add syntax and desugarings for multiple pattern matches in a type rule.
Add syntax for term signatures.
Add syntax for type functions.
Fix matches only taking variables on the left hand side.
Look for types import instead of nabl import for custom runtime libraries.
fix generation of property rules
fixed erroneous generation after merge
desugar the desugared pattern, not the original one
Fix type functions section not working.
Add storage of relations.
Add string interpolation for messages.
Add generation for type function definitions.
Update generated files.
Fix desugaring and pretty printing of type rules with multiple patterns.
Added type function application.