untyped-LC-eval
get the env thing to work
solved silly keyword-in-fixpoint-issue but pull fixpoint too
Asdasd
why is qsloop.hs proved terminating? run it: it does not terminate...
fix failing benchmarks, except Data.Text.Encoding
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
nested rec definitions, fix for #101
fix more benchmarks/tests
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
restore fun composition refined type, fix for #63
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into upstream-bench

Conflicts:
	benchmarks/bytestring-0.9.2.1/Data/ByteString.split.0.hs
	benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.hs
	benchmarks/bytestring-0.9.2.1/Data/ByteString/LazyZip.hs
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into upstream-bench
more test fixes..