Added data types for implication and universal quantification.