TypeTrans.h loosely defined