D1.2 (UCω syntax) For any type a ∈ Θ, the set of a-terms, Trma, is defined as follows: b. A ∈ Trma a. BA ∈ Trmb...