ocaml-fix 20201120 Facilities for memoization and fixed points

This package provides helpers with various constructions that involve memoization and recursion.