List Sum - Ocaml Typing CST Test