Generate S0 transfigure implementations with a macro
Generate all transfigure implementations with a macro
Complete macro-based implementation of Transfigure instances
Scrap monads, implement sorting a list of contexts
Full stack implementation that handles some basic cases (i.e. one
context only)
Fix up implementation so that it handles stacks of two distinct contexts
Finished implementation. Handles stacks of at least three contexts, and
handles the "join" case (same context repeated twice as a stack)