[BAILOPAN]

The compiler, internally, has no concept of a "type" aside from hacks like methodmaps that we've surgically bolted on. It's easy to map names ("float" -> "vec_t" for example), but mapping to an entirely new type is basically impossible in the existing codebase.