Start documenting the quantifier API.