Update to work with Agda 2.6.3 + stdlib 1.7.2

[laMudri]

I got the demo file to work on my machine, so I thought I'd share the minor changes that got it working. Mainly, the built-in extendContext now takes a name for the variable.