Allow runs on top-level recursive binds

[RobinWebbers]

For archaic reasons, we currently do not run symbolic evaluation on top-level recursive binds. Really, there is no reason to have this restriction anymore. Hence, we should lift it! Shouldn't be too much work, just needs to be done.