Revising datatypes