Small caml implementation of an interpreter