Ordre OCaml implementation of A New Approach to Optimal Code Formatting. TODO Memoize Add practical examples