 Of course, if TA\(_\textrm{CL}\) is augmented with an expanded set of types, then new instances of the previously assigned types become available. However, the gist of having types with the new type constructors \(\land\) and \(\top\) is that the set of types has a richer structure than the relationships between types determined by the rules of substitution and modus ponens.