Types for formulas used.