5.1 Coordinates (type system) transformations