WIP: figuring out how to cut off recursion in refreshRefType
take . repeat works!
cleanup
add tests/pos/IcfpDemo.hs
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 repeat

Conflicts:
	src/Language/Haskell/Liquid/Constraint.hs
	src/Language/Haskell/Liquid/Fresh.hs
	src/Language/Haskell/Liquid/GhcMisc.hs
	src/Language/Haskell/Liquid/Parse.hs
	src/Language/Haskell/Liquid/PredType.hs
	src/Language/Haskell/Liquid/Types.hs
Merge branch 'master' into fix-holes

Conflicts:
	src/Language/Haskell/Liquid/Bare.hs
move termination expression with local vars to separate test
revert to safeZip
TODO:fix bug tickled by tests/todo/absref-crash.hs
TODO:fix bug tickled by tests/todo/absref-crash.hs
POTENTIAL (not clear) bug fix for tests/todo/absref-crash.hs and Repeat.hs etc
POTENTIAL (not clear) bug fix for tests/todo/absref-crash.hs and Repeat.hs etc
Merge branch 'absref-bugfix' of github.com:ucsd-progsys/liquidhaskell into repeat
pad absrefs with TRUE if some are missing..
make absref-crash pass
check SpecTypes in environment with local binders
misc edits to this so-called bug-fix
misc edits to this so-called bug-fix