We can get rid of most of the quantifier pumping rules

[fcbond]

Just add cog-st and use it to trigger quantifier insertion rules later.

The only syntactic examples we were able to come up with that looked at definiteness could be handled as a feature on the INDEX, no need to look at the quantifier.