add operator names to well-formedness error