Agda.TypeChecker
checkDecls
checkDecl
inferExpr
checkExpr