Fix a bug with global arguments to polymorphic functions. Still need to fix tvar instantiations when tvars only live in the store
merge
all tests pass on fixpointupdate
adding test-log for JUST BEFORE updating with new fixpoint
copied files from liquidhaskell/external/fixpoint/
all tests pass with updated fixpoint...
Merge branch 'master' of ssh://goto.ucsd.edu/home/git/csolve