get rid of substitution in Case (use lambdas); introduce Match as derived form...

get rid of substitution in Case (use lambdas); introduce Match as derived form that involves binders
1 job for master
Status Job ID Name Coverage
  Test
passed #150
coq
buildjob

00:03:41