Added inter-procedural pointer cfg. Its sparse counterpart is under
construction.
Finished sparse graph construction (sort-of). Now working on a new fully
sparse interpreter.
Restructured a little bit. Now SparseTPA and TPA are separate
Changed the meaning of Env and Store, and changed their interfaces.
Updated BasicInterpreter to conform to the new interfaces.
Finished a sketch of SparseInterpreter