interned the strings more thoroughly in matrix, networks, sets and synonyms, new discrete set type introduced which should be a bit more efficient