Numerous bug fixes.
Local contexts now properly group extra clauses before leaving the context.
    a=b now properly translates to  ?[X,Y] ( X == Y & a(X) & b(Y)) instead of ?[X,Y]( X == Y) & a(X) & b(Y), among other things.
Query statements targetted for t>0 or containing actions are now placed into the #volatile module, instead of the #base.
Attributes may now be boolean and/or have non-boolean parent actions (Standard file change).
Cleaned up the output of as2transition to look more regular.
Fixed an issue causing query-defined minsteps to override command line specified minsteps. Command line minsteps are now given precedence.
Fixed an issue causing the maxstep to be incorrectly displayed beside a query when a user has already overriden it.
Fixed a bug preventing double negation from being properly applied to static and rigid rule bodies.