Quantifiers are handled in one pass during query answering.

Before, converting to ENNF also grounded quantifiers by replacing them
with large disjunctions and conjunctions.
The only advantage of the new procedure is that it's close to the paper.