Add Local construct and the less (<) constraint. Refactor the store to use a space (instead of being a space) since it's impossible to remove constraints from the store.
The AST is now dynamic (each axiom inherits from Program), it's required for computing the residual process at the end of the internal transitions.