Tool for canonicalizing symbols in slime.