The design choices made seem like they would converge to produce a radically non-performant program. I’m unsure about whether all the trade-offs in complexity are necessary.