MapCompose MapInvert Maps
next node: Map, prev node: Subsystem MapLike, up to node: Subsystem MapLike