only 3 formula combinators
simplified scope rule, should also fix a bug where empty rules were
generated
drop messages from formulas
desugaring and normalisation
factored out namespaces and properties section handling
got def sites, prop sites and scoping sites working with new formulas
propositions and formulas working
more overlays
working solution for definitions, properties, and scope clauses
pass set for matching rules
also support use sites with formulas
drop old messages file
import sites with formulas
maintain bound variables for filter and match rules
fixed generator for disambiguation rules