Part 1 fixup: with scopes can never have uninit lets