Removes most pre/post conditions
They where helpfull when developing the API, but a litle unnesseracy now
typo
Begins to improve query-map datastructure
This will be much more flexible, can be abritarily deeply nested. And compilation will be much simpler and more generic.
subcompiler working; todo refacroding in encode
Tidy encode, fix bind
regroup
fix graph patterns and negation
minor cleanups
minor cleanups
completes new datatstrucutre, all specs pass
exclude min max
simplify compiling