Adding abstractions at Instruction level and further abstractions at R3 level to implement all the logical instructions classes