Refactor freeVars to use set internally. (CC #2).  Havent yet changed the external type sig