Refactor symbol table implementation

[JukkaL]

The current implementation of symbol tables is hard to understand and probably needlessly complex. Refactoring it could be helpful.

[ilevkivskyi]

I think this can be closed now. This is much better now and also we have #4082 to track some remaining ideas.