Unique tags in liquidhaskell-boot

After !14639 (merged), we have a nice UniqueTag ADT.

liquidhaskell-boot tends to use 'x' as the Unique tag, but this doesn't correspond to any of constructors. How should we update this library? Once we have a response, let's write up an entry for the migration guide.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information