Quantifiers kinds documentation
Merge pull request #37 from mdeters/quants-kinds

Quantifiers kinds documentation