Added functor unit explanation (OCaml2014)