Update of the scheduler now that I have more feedback on the design with actual code.
We also can now proceed to Symbol analysis without dispatch in most cases.
Clarify the whole Schedulable situation
Make use of final for temporaries
Make StatementVisitor a struct
Make ExpressionVisitor a struct