derived_type_definition ::= [ "abstract" ] "new" subtype_indication [ record_extension_part ]
This rule is called by -> type_definition
-> type_definition