Boxedrep rebased onto 9.0
Complete what was started in !2249 (closed). @treeowl did most of the rebase, and then I finished it and cleaned up the tests. Several months ago @rae and @monoidal commented on the original MR that various perf improvements to GHC might resolve the perf issues. So, let's see what CI has to say.