TcExpr
tcPolyExpr
tcPolyExprNC
tcMonoExpr
tcMonoExprNC
tcInferRho
tcInferRhoNC
tcSyntaxOp
tcCheckId
addExprErrCtxt