WIP in using GHC fvs to calculate free and declared vars