X座標はX座標型変数に格納する。
これによって間違ってY座標型変数を突っ込むことが防止できる。
どうしても入れたい場合はキャストする。

てな感じの役割ごとに型作りまくるパラノイア的な言語なり手法ってある？
まあクラスはそんな感じではあるけど。