abstract LabelType : Type {};
A LabelType is simply the type of a label; it does not have any subclasses or fields.
