First real commit of ultra-micro OCaml toy

Playing with OCaml's type-system.