OCaml-typeinference simple type-inference and type-checking for bare simply-typed lambda calculus Tested with OCaml version 4.06.1