Define equality of chains.

Ignore the proof of incidence. Only points matter.
Introduce axioms for Generalised Polygon