Execution of several more instructions
Completed execution of all instructions
Redesign CPU data type
Implementation of MonadEmulator functions in ST monad