rewriting symbols and modules