Update the reflection API to follow Agda
Merge pull request #1 from np/reflection-abs-update

Update the reflection API to follow Agda