TypeNames is located in:

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