The FreshML programming language has made considerable progress in the past two years and is now available as a patch on OCaml extending it transparently in the sense that existing OCaml programs run unaffected.
FreshOCaml extends OCaml with type-formers, constructors, and destructors, suitable for handling names and binding. I shall describe the language and answer questions on how it works.