Basic types for computer graphics in OCaml