codegen: refactor box_value to include type_tag
bindings, sample3: get println to print different types