WordTimes is located in:
m3front/derived/WordTimes.m3
m3front/src/builtinWord/WordTimes.m3