Scrap macros. Implement sorting a list of contexts in shapeless.

This is the first part of a full shapeless-based implementation.
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)