A simple MuC compiler written in ML.