move (freeVars boundVars (/.)) from TypChk to Data.Core