rename Global_Identifier to Reference, rename existing uses of mixin_type to abstract_type (the more general 'mixin' concept won't apply here), add/enhance ordinal/cardinal/nominal abstract types, other misc