Type variables

Type variables areregular identifiersbeginning with a lowercase letter. For examplea,x0,andfooare valid type variables.