simple test with type-holes passes.

presumably more complex tests will still fail..
add more tests for Holes.hs
Merge branch 'master' into holes

Conflicts:
	src/Language/Haskell/Liquid/Bare.hs
	src/Language/Haskell/Liquid/Constraint.hs
more test cases passing in Holes.hs
cleaning up
force all exported vars with no sig to TRUE
fix many tests
more tests passing again
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into HEAD
blah
all tests passing again
add tests/neg/HolesTop.hs
force exported Holes to TRUE
fixed Array.hs....
clean up
fix tests
Merge pull request #172 from ucsd-progsys/holes

Add type-holes