[ refactor ] Always import Agda.Syntax.Common as Common