This is the implementation of A Small Language, as described in part 3 
of ``Functional Programming using Caml Light''.
