Basic types for computer graphics in OCaml (unreleased)