WordMinus is located in:

• m3front/derived/WordMinus.m3
• m3front/src/builtinWord/WordMinus.m3