[MLton] free type variables in datatype decs

[Stephen Weeks]

> You meant, in the previous E-mail, that an exception declaratis EXPANSIVE,
> right?  (You said non-expansive.)

Yes.