removed VarType, and wrote the Predicate parsers