Type expressions

type Let $A_1, A_2, \ldots$ be type variables, then A_i are type expressions.

If T₁, T₂ are type expressions, then so is $(T_1 \times T_2)$.

Nothing else is a type expression for now.