TinyML - Lexer, Parser, Interpreter, and Type Checker in Under 700 Lines of SML

I am trying to keep my own compilers/interpreter under the 10KLoc. Yeah, well, Tiny-ML proves I am doing something wrong, I guess...