WyC: permitted use of some keywords as identifiers.