TopoElement is https://postgis.net/docs/manual-dev/topoelement.html