[MLton] mlnlffigen is awesome (was: bootstrap problem)

[Henry Cejtin]

I would probably argue (although weakly) for having MLB path variables in
a file instead of the command line (with the command line arg just pointing
to the file).  The argument is that often different projects can share
the variables so the extra indirection is useful.