use Symbols for almost everything
bad show
fix issue with cmdargs impurity
ugh, why is the isFunTy thing not working...
hide repr of Symbol
misc edits for better error reporting
blugh
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
fixed conflicts but does it compile
ugh
hacky hack
merge..
Merge pull request #230 from ucsd-progsys/text-symbol

Replace String with Symbol