Mlton having its own real type/syntax checker would truly truly be most excellent. It not existing is the main obstacle to Rico giving it a shot. Can you give me a quick summary of lcc's symbol-table-scoping hack?