Initial commit of the OCaml monster.
Plucker geometry. Whatever.