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