Variable Type

variable-type ::= 'type' lower-identifier variable-type-constraint?
variable-type-constraint ::= ':' union-type