The examples are great and these bidirectional calculators are something that people would love to have in traditional spreadsheets. So much so that Credit Suisse, which basically was running everything on heavily modded Excel, created a full language whose outputs were Excel spreadsheets capable of doing that. That thing called “paradise” was a total monstrosity but showed how much people wanted this. That said, you…
I'd like to add more constraints in the future like a domain constraint for variables.