Rescopes any measurement and control keys to the provided path, given the existing keys.

The path usually refers to an identifier or a list of identifiers from a subcircuit that used to contain the target. Since a subcircuit can be repeated and reused, these paths help differentiate the actual measurement keys.

This function is generally for internal use in decomposing or iterating subcircuits.

val The value to rescope.
path The prefix to apply to the value's path.
bindable_keys The keys that can be bound to at the current scope.