Allow type annotations on NameType declarations.
Disallow polymorphic datatypes.

Datatype fields that are polymorphic cause complications in many places,
and aren't really useful. Type annotations can be used to remove
polymorphism.