A simple expression language written in Standard ML