Update modula3specification.specification