Add quanitifiers to Trigger Algebra.  Minor bug fixes.