wtf
fixing conflict
added uequal to ocaml-fixpoint
added ueq/une to fixpoint, onto liquidhaskell
lets run tests on goto
Merge pull request #22 from ucsd-progsys/parseshuffle

Parseshuffle
fill in the blanks
adasd
added code to parse constraints. next: test etc.
asdaD
Merge pull request #23 from ucsd-progsys/cnstrparse

Cnstrparse
added a few functions to Sort api
flasd
misc edits to support encoding all tycon-app with FAppTy
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...