The complete syntax, including all new reserved words, is supported. Pragmas which are badly placed or have bad arguments are now errors. The attributes Image, Value, and Width work on real types. Wide versions of those attributes are available for all types. The new Float attributes are also available.
Modular types are available.
Support for full 16 and 32-bit unsigned types and their operations is included. Tagged types are available, including classwide operations and dispatching. Tagged Private types are implemented. Classwide objects, type conversions, and access types are supported. Type extensions are implemented, including private extensions.