compdata-0.6.1.3: Compositional Data Types