pub fn handle_id_error<S: Into<String> + Clone + Display + Debug>(
    id: S,
    defs: &Defs<Term>
) -> Result<Term, Error>