Change Δ to expect the change in a free variable.
Change Δ to expect the change in a free variable.

Proposed by Paolo in a whiteboard discussion today.

Old-commit-hash: bce0357c249c6ae66ad8fe002147ad07623d842f

inc-lc/ilc-agda