fiddling with AppTy in fixpoint
ugh, deal with Set/FAppTy
massive technical debt with type-app incurred ...
ugh. lookupGhcThing unknown crashes with FAppTy
ugh. lookupGhcThing unknown crashes with FAppTy
FAppTy seems to be working...
tweaking args_of_app
see TODO for failing tests. sigh
all but 6 tests fail
done with exists2 all tests pass but one TEXT file takes 20mins
Merge pull request #25 from ucsd-progsys/exists2

Exists2