compdata-0.3: Compositional Data Types