generalized _mk_json_eval and xpression-to-body