Implement updating for G-Machine