[REFACTOR]: Spawn Call

[amadolid]

PREVIOUS BEHAVIOR:
walker generic entry => node entries (generic/typed) => back to walker typed entry => walker typed exit => back to node exits (generic/typed) => back to walker generic exit

REFACTORED BEHAVIOR:
walker generic entry => walker typed entry => node generic entry => node typed entry => node typed exit => node generic exit => back to walker typed exit => walker generic exit

In this approach, we limit the back and forth of execution to walker -> node -> walker. It can also make the execution more "declarative".

It's also more direct if we plan in future to support the with entry and with exit approach

[ypkang]

@amadolid Let's go ahead and merge this in. Can you add a mardown file that just document the current behavior? You can use the visit_sequence.jac as an example and document the expected call sequence. You can add the markdown to the jac-cloud section of the documentation directory.

[ypkang]

Check comment above.

[ypkang]

Made a quick tweak to the markdown. 🚢

[ypkang]

LGTM