Add contramap for differs in general

Currently contramap only exists for Differs for primitive types. We should add contramap too all Differ types

For good reporting purposes, we should to capture both the new type and old type so when there's diff error it's clear to the user what's the actual differ being used.