prototype: Make every operation that matters live in IO.
prototype: Add IORef-based term type, for greater sharing.
prototype: Minimize usage of substMap
prototype: Move common IsTerm methods in Impl/
prototype: Simple consistency check between term types.
prototype: Add simple test script