Make new Datatype definition function available in bossLib
Make EmitTeX's printer do the right thing with type abbreviations