[MLton-user] Wish for a standard sum type

[Henry Cejtin]

The only change I would make would be to use This and That instead of THIS
and THAT for the constructor names.