What is the format of the arguments? Why use \``Left` and  \``Right`, unlike \``left` and \``right` in `SuperPad`?
Also it would be very good (if hard) to have tests. Perhaps we could test something where `Print` would be a callback directing to `Testsuite::Dump`?