(fix) Alloy -> Extension change.

I also updated `ImmutableEqVector` to `ImmutablePartialEqSlice` as per https://github.com/rust-lang/rust/commit/76d46af6d405ac29d2d508705eacdcffad63e4c1