UnificationTable::probe_value unnecessarily requires UnificationStoreMut #42
Description
The methods probe_value and find can be moved to a separate impl that doesn't require UnificationStoreMut bound.