Compiler for a subset of ML