defer generation of WfC until we have proper env for inferring types of holes
dont kill real refinements in addition to holes..
Merge branch 'master' into fix-holes

Conflicts:
	src/Language/Haskell/Liquid/Bare.hs
move termination expression with local vars to separate test
check SpecTypes in environment with local binders
seed the SEnv with top-level binds and freesyms
lookup vars in term-exprs in local env too
need to add arguments to env as we check them
Merge pull request #179 from gridaphobe/fix-holes

Fix type-holes