record subtyping

to run the examples: ocaml src/records.ml

to format: ocamlformat --inplace src/*