Re-implement scopes

Cons:

• We now use a heap allocated vector instead of keeping some kind of recursive type on the stack.

Pros:

• Code is easier to manage
• We can now re-use hashmaps which saves allocations
• No more refcells
• No more unsafe madness to avoid lifetime madness. Sanity everywhere!

Closes #726 (closed)