typical 0.4.0

Algebraic data types for data interchange.