262 tests fail with lazy inst
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
grr those damn tests...