[MLton] Minor front-end extension

[Alain Deutsch]

I was thinking it could be very useful for us to have an option which
rejects toplevel structure definitions without signature constraints.