change denotation names for types