Annotate variable Mirage.mode with explicit type

I was pulling onto my local branch and took me 15 minutes to figure out why it wasn't compiling.  I had a `match` in my local changes that didn't contain the ``MacOSX` term and type inference + subtyping of polymorphic variants resulted in the error appearing in a completely unrelated place with a very misleading error message.