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