block (type) heading (Z.100)
<block-heading> ::= block [<qualifier>] <block-name>
<block-type-heading>::= [< virtuality >] block type [< qualifier >] <block-type-name> [<formal-context-parameters>] [< virtuality-constraint >] [< specialisation >]