Remove cyclic dependencies in symbolic module

It seems to work! I also played around with the documentation a bit. I can put that in a different MR if you want.

Thanks for working on untangling this. I like it, in it goes.

mentioned in commit 6aa6754b

merged