I would think that the grand overview of MLton is a more important paper than smaller things like limit checks or exceptions, but on the other hand it also probably takes more time. How about telling him that a 6 month delay is needed. As to me, any thing I can do to be involved would be great.