Rename _Box -> Box using no_implicit_prelude, better docs