The main change is that Fix.DataFlow now requires [leq_join] instead
of separate [leq] and [join] functions.

The rest of the changes are documentation comments and a few new
features which Menhir does not use.

There should be no change in functionality.