Registers:

• Added mechanism for raising errors if autogenerated files need updating
• Changed definition of Axioms_Quantum.register_pair (returns 0 for incompatible registers, see register_pair_is_register_converse for a useful consequence)
• Slightly reducing namespace pollution in Classical_Extra (hiding consts x, y, X, Y etc.)