Have context->term act on an actual term-context
Add state visualization

This visualization is pretty crappy, but it's still much easier to read
than what racket's basic pretty-printing produces.