Trying hands on ocamltter
some more recursive fix
Fix factorial