[ issue1237 ] test case
[ issue1237 ] refactor: added reifyUnquoted to TypeChecking.Quote
[ issue1237 ] added TCEnv flag for reifying unquoted things
[ issue1237 ] fixed: don't insert implicit parameters when unquoting