<block type reference>::= <block type symbol> contains {[<virtuality>] <block name> }
<block type symbol>::=