OCaml interpreter

Write an interpreter in OCaml for an extended WHILE-language. The extension are the list of integers with the operations @,:: and the expressions isempty,first,rest (the semantics of the above are in the attached pdf document).
Write also the data-flow-analysis and a type-checker.

I attach an interpreter of the WHILE-language so the assignement consists only in the (coherent) addition, to the interpreter i already have, of the operations @,:: and the expressions isempty,first,rest.