Fibonacci Sequence - Ocaml Typing CST Test