Factorial - Ocaml Typing CST Test