Corrects the remaining cases Equivalency assertions are not respecting the declared type

Modifies the remaining places Equivalency assertions so they will respect the declared type.

Technically, `TryConversionEquivalencyStep.Handle` still uses the runtime type. However, given what that step does it seems appropriate.