MapByBSTCompose MapByBSTInvert
next node: MapByBST, prev node: DArrayReduce, up to node: Subsystem MapLike