This is kind of fluffy, but having stared at mlton compiling HaMLeT for an undetermined period of time, I was thinking it might be kind of nice to have some kind of progress meter. Would this be particularly difficult to implement?