[ Agda ] Changes in the interface files