prove env_rs_append_code, bit of progress on a compile_decs_val cheat