Implement updating.

Replace root of redex with pointer to result. When pointers appear
on the stack, they should be replaced with their value.