compdata-0.5.2: Compositional Data Types