WIP implementation of incrementally finding planar graph embeddings modulo homotopy equivalence with fixed vertex positions.