[ comments ] Updated comments in Agda.Interaction.Imports