static Pair<Bool, S> generalDefinitions_add(S word, S def) {
  if (empty(word) || empty(def)) ret pair(false, "Empty");
  
  if (mapPairB(f dropGlobalID, mechMultiMapPairsCI(generalDefinitions_listName()).get(word)).contains(pair(word, def)))
    ret pair(false, "Definition already there!");
    
  addToMechMap(generalDefinitions_listName(), litmap(word, appendGlobalID(def)));
  ret pair(true, print("Definition added: " + word + " = " + def));
}