In FormulaSet: fix __eq__ and __hash__. In Viterbi: give correct arguments to ArgumentMap.find_mapping/2. In World: new universal meanings and templates.