added transformers; use Control.Monad.State instead of State.Strict; redid load instructions with incrementing pc and cycles;