Quantifiers kinds documentation

Andy, please check over and accept pull request if appropriate.