> There's no type difference between an x-coordinate or a y-coordinate

no human unit difference does not imply no type difference. Types are tools to write correct programs, we should use them at the maximum !