Preventing Mutable Aliasing via Scope

Use lexical scoping to shorten the duration of mutable borrows to satisfy compiler rules.