Abstract TwoWayMap to be able to be used for more usecases

[jfecher]

Problem

TwoWayMap in the SSA refactoring only maps between a value of type T and its corresponding Id<T>. This is too narrow to apply to other similar use cases in ACIR-gen or the SSA optimization passes.

Happy Case

We should change the inner maps of a TwoWayMap from HashMap<T, Id<T> and HashMap<Id<T>, T> to HashMap<K, V> and HashMap<V, K>. Then we could use this abstraction for more SSA passes and in ACIR-gen.

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response