Tests for automatic box/unbox.
Implement box/unbox.

Includes the HLL override support, plus some default HLL-less handling
that just calls box/unbox ops with boot types.