Add .hsenv to .gitignore.
map liquid to Ghc TyVars before quiantification
adad
Expose LiquidHaskell Prelude, List modules for users to include.
Merge pull request #67 from leepike/master

update gitignore; export LH Prelude, List modules. (Great! Thanks Lee!)
Add other modules in the Cabal file to prevent strange linker errors when including library modules.
Merge pull request #68 from leepike/master

Added "other-modules" to cabal file. Thanks!
ghc-7.6.2 + hashable-1.2.0.6 seems to be causing issues.

so let's set hard constraints on package versions..
Merge pull request #69 from gridaphobe/master

set hard constraints on package versions
Merge pull request #64 from ucsd-progsys/tyvar_subst

Tyvar substitution
tidy renameTyVars
edits tests
adding zipper example, focus passes
all zipper functions verified
zipper:integrate'
add initial stackset
qualify Set
rename data con arguments
tagBinder now passes
allow many type specifications, seperated by comma