use an abstract for a GraphEdge.p_val in flow control, saying if its
inter/intra procedural etc and its linkage type etc (plt etc) - this will make
the basic block graph construction work properly also.

use a global symbol table - this will fix up all the symbol updates.
^^ done.  but needs some more work.

parse an instruction into its operand/operants, addressing modes etc - this
will allow the beginnings of some other analysis.

seperate the Printer into various subfunctions - this will allow us to do
interactive analysis using a mini interpreter.
