Yet Another Compiler (in oCaml)