Implement recursive-let for G-Machine. Fixed alloc instruction.