a bit more commenting for the Instruction enum, and Addr vs AddrDiff distinction