pub async fn check_term( global_context: Vec<ModuleUri>, in_term: Either<Term, DocumentElementUri>, subterm: Either<Term, TermPath>, ) -> Result<BackendCheckResult, BackendError<ServerFnErrorErr>>