Simple Addition - Ocaml Typing CST Test