Evaluation of loop-annotation

The loop annotation is now evaluated. Tracing should now only start once the expression passed in the loop annotation is encountered again.
A load-state instruction is added, causing the register machine to load in the environment and the store from a given state.