Added specification of more instructions.
Finished instructions (except Halt)
Finished evaluation relation..