Emptyuif

Various SUPER-HACKY changes to support proper empty sets. Co-ordinated with LF PR:
https://github.com/ucsd-progsys/liquid-fixpoint/pull/42