Compositional Data Types.

Modular data types defined as fixpoints, and term homomorphisms, like compdata package but with cleaner API

c.