Bootstrapped algebraic data types for Elixir

A program specification language with a defined syntax, and ad-hoc semantics.

Applicative powered Validation ADT, with a dash of Witchcraft.