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.
It seems to work! I also played around with the documentation a bit. I can put that in a different MR if you want.