Initial scoping support

This is somewhat of a work in progress. It works, but not everything, for example builtins, is updated. There is also a hacky unsafe workaround which should be fixed, but it's very tedious.

Closes #728 (closed) and #328 (closed)