Rename: - CheckErrorKind -> RuntimeAnalysisError - StaticCheckErrorKind -> StaticAnalysisError - StaticCheckError -> StaticAnalysisDiagnostic