makes quasiquotes friendly to retypechecking