I've finished going through MLton and eliminating unused variables. All that remain are either in the automatically generated code for the front end or in the x86-codegen. Matthew, I'd rather you look at the latter, since you are more likely to detect if one indicates a bug. Also, how are you coming along on the sequence-unit stuff? I'd be happy to work on that.