Makefile: fix dependency typo
Makefile: codegen does not depend on pretty
codegen: attempt to write a box_value for int; not working