Update the reflection API to follow Agda