A simple ML inspired language.