Agda.TypeChecking.Quote
quoteTerm
quoteName
quoteType
agdaTermType
qNameType