nuking bounding vectors from todo
renaming sets
nuking comparisons for tycon-ed types from fixpoint: breaking change
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
allowing comparisons for List. hack hack. need typeclasses in fixpoint.
allowing comparisons for List. hack hack. need typeclasses in fixpoint.