* Some possible variants: * With the value of each key as an element in a run time `Tuple`. * With the value of each key in the type domain. Only possible when the value of each key is isbits. * With the RHS backed by `Memory`, or, alternatively, by a custom isbits vector..