Example of add/mult/append/concat definitions.

Current examples using traditional pattern matching and eliminators,
as well as higher-order computational descriptions.
First-order description examples.