WIP: figuring out how to cut off recursion in refreshRefType
take . repeat works!
cleanup
add tests/pos/IcfpDemo.hs
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
revert to safeZip
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
misc edits to this so-called bug-fix
misc edits to this so-called bug-fix
Merge branch 'absref-bugfix' of github.com:ucsd-progsys/liquidhaskell into repeat

Conflicts:
	src/Language/Haskell/Liquid/Constraint.hs
	src/Language/Haskell/Liquid/PredType.hs
pad should return both lists as is when they have equal length
Merge pull request #180 from ucsd-progsys/repeat

Repeat returns a list of Cons's

also fixes #235