Make Empty a Set

It fixes some universe issues.  If you want the [Prop], use [False].

This is on top of #373.