Implements precondition checks for for generic dictionaries
Temp: Causes declared type to be respected but does not preserve the type information as needed by other equivalency steps.