This is an alternative to !54 (merged). I had intended to submit this as an MR before I saw #54 and now am posting it for discussion about whether any of its ideas should be added to the work in !54 (merged).
This is an alternative to !54 (merged). I had intended to submit this as an MR before I saw #54 and now am posting it for discussion about whether any of its ideas should be added to the work in !54 (merged).