Reflection refactoring
Param: Take advantage of the latest dev version of Agda works better