Bug fixes, more unit tests (of Quantifier parser), hardening and
housekeeping.