Encoding material from this tutorial and this paper by Jonathan Sterling. Experimentation with ideas that might be useful for Catlab.jl. More documentation here.
NOTE: this library is on hold due to working on a prerequisite problem, as described in the README of this repo. If unification modulo the axioms of a GAT can be satisfactorily resolved, then I can return to this.