Update the Reflection module to follow the change in Agda