Convert between coordinate systems with types