TypeNames is located in:

• sharedobjgen/src/TypeNames.i3
• stablegen/src/TypeNames.i3
• stubgen/src/TypeNames.i3