Begun filling out execute logic using State monad, up to ADD1. Renumbered instructions with multiple variations (JP,JP1) to be numbered starting at 1 (JP1, JP2).