[MLton] can mlbasis rename the top-level?

[Matthew Fluet]

>> The "_end" looks ugly to me.  I'd go the extra mile with the MLB lexer
>> counting SML blocks in <program>; it's close to what is done counting
>> nested SML comments, though you need to accumulate the whole string.
>
> Handling SML blocks seems appreciably harder to me, because you
> actually have to tokenize the SML.  Handling comments just requires
> looking for "(*" and "*)".

And string constants in embedded SML.