Re-implement scoping using Vec<Scope> instead of recursive types

This might be slower since it's no longer on the stack, but it's easier to deal with and it could help adding optimizations like reusing hashmaps