[ refactor ] No longer export TC.Free.freeVars'
[ refactor ] put free variable computation into Reader monad
[ refactor ] Free variable analysis not collect bound variables temporarily any more.

Library benchmark is neutral.  I had hoped for some speedup.