Small corrections to joint abduction for terms documentation.
Parse normalized constraints. Reset parser state in Terms.reset_state.
Better reporting of quantifier problems.
Numeric sort related tests.