semantic: Mangle the name in typeinfos correctly.