Adds basic support for quantifiers.