makes quasiquotes friendlier to retypechecking