Take a look at DrScheme v200alpha5 and Matthew Flatt's home page. You will see that Dr. Scheme has already made an effort to add other languages for basic things and that Matthew knows some Mandarin already. (And he's married to Wen, who knows a lot more. In addition to other members of PLT are married to women of Chinese origin. So there's hope). -- Matthias