Beginnings of a checkers game, in OCaml.