Added support for "what Type Predicate" questions
Added plural_form/2 and atom_string/2.