I don't remember with the boxing stuff if a box-ref was needed to get at the value in the box. I am assuming that it would be needed (and would like it to be required). I.e., an 'a box is just like an 'a ref except that it isn't mutable. (I guess also the box `constructor' is non-expansive, unlike the ref `constructor'.)