remove TAPL, improve Instruction.toString(), add convenience constructors to Instruction