Use anonymous lambdas in model examples.

These look more like the case-statement sugar from Dagand's thesis.