cosmetic changes
unify Syntax.name and Type.name into Ctype.name