TypeDef can also mangle names