Emptyuif

Various SUPER-HACKY changes to support proper empty sets. Co-ordinated with LH PR:

https://github.com/ucsd-progsys/liquidhaskell/pull/250