Max of Two Numbers - Ocaml Typing CST Test