An extension to GeoJSON that encodes topology.