[MLton] Evolution idea

[Alain Deutsch]

It may be useful to have on option the detection of unused variables, as 
warnings or errors.

Also, it may be useful to detect on option unused function objects in 
sequences:

let ... in f; e end --> error if f is a function object.