Makefile: throw more warnings
codegen: fix pattern-match in box_value; do bool