add some helpful comments
refactor control flow in dual-op :ADD method
fix shadowing bug in dual-op :SUB, :SUBC
consistent use of "get" in execute-instruction