WyCS: added some documentation to the quantifier rule set.