Agda.TheTypeChecker
checkDecls
checkDecl
inferExpr
checkExpr