Implement scope in the rewriter

[niklasdewally]

Make the rewriter keep track of what sub-model an expression is in. The rewriter should pass the symbol table of the current scope to rules, and apply side-effects from those rules to that sub-model.

To be done after: #657