An abstract class in the Cobra compiler, parent to other types such as NilableType and VariType.