generator for map like {kw int} (automatically quantified)
better handling of quantified map expressions
update deps
wip, including bugs for now
wip, rough refactoring
more refactoring
third and fourth
comment fix
wip; refactoring to use canonical rewrite
wip; refactoring for better canoical, generators still need work
transient test
in predicate
wip; better generators for binding names
wip; bug fixes and rewrite of inlined many-quanfied generator
remove dead code
merge bindings for multiple rules
wip; fixes for generators from quantifiers in collections
fixes for pos, neg, even, odd
clean up comment
clean up deps