It must be clear that we want to fix only the symbols, that is the syntax, but are not advocating any kind of semantic preservation of the interpretation of the specifications that appear in the FIXED-SYMB partGEN-SPEC ::= gen-spec PAR+ SPEC PAR ::= par SPEC-NAME+ PAR-TYPE PAR-TYPE ::= par-type SPEC FIXED-SYMB? FIXED-SYMB ::= fixed-symb SPEC+ GEN-SPEC-INST ::= gen-spec-inst GEN-SPEC-NAME FITTING-ARG+ FITTING-ARG ::= fitting-arg SPEC SIG-MORPH?