Compiler for CSX in SML