Renaming a datatype