Hi y'all, I decided that type dispatching (of the type-case kind, not of any of the more complex/bloated types) belongs to SRFI-253 after all. You'll find the new check-case op in the next draft. Thanks for your input, it was invaluable and I'm looking forward for feedback on next draft!
Best of love, -- Artyom Bologov https://aartaka.me
