pub fn canonical(word: &str) -> Option<&'static str>Expand description
Map an English-esque verb to its canonical tactic name. Suppose/assume/let
all mean intro; automatically/trivially mean auto; and so on — the
vocabulary that lets a proof read like prose. Case-insensitive. Public so an editor
highlights exactly the words the engine accepts.