Fix issue #408

[Kmeakin]

The cause of the bug was in the implementation of renaming record telescopes: we were pushing variables onto the local environment while traversing the telescope, rather than onto the partial renaming (cf rename_closure)

Fixes #408

[brendanzab]

Thanks!