Small ML compiler/interpreter