Type variables will be represented by the capital letters A, B, C, etc. There are two rules for type expressions in the simply-typed -calculus.
