Update the reflection API to support name hints for variables
Merge branch 'master' of github.com:agda/agda