In Penknife, added a test for mutable boxes, and fixed several bugs to make it work.