some refactoring of the symbols module