Initial import.

The basic idea of working synthetized attributes expressed as working
with catamorphisms.
Merge branch 'master' of github.com:ppetr/recursion-attributes