[MLton] free type variables in datatype decs

[Henry Cejtin]

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