Constraints for pattern matching more stringent than I thought.
Initial round of bug fixes complete.
Quantifier order bug fix.