WLS: Removed nominal types.

Nominal types are not strictly necessary for the language core, and have
been temporarily removed since they don't currently work.