Attempt to make Lem-prettyprinting of function clauses more robust

Instead of abusing patterns as expressions, bind patterns to names (if they are
more complex than an identifier or literal and don't have a name already) and
generate expressions referring to those names (which we then pass as arguments
to the auxiliary functions).

0 files changed, 0 insertions, 0 deletions