cleaning up code left over from debugging
step #1 of getting proper types into disassembler interface
step #2; labels are now really Labels in the disassembler
step #3; label marks now use real types