Added congruence combinators and Walker instance for Coercion.
Added congruence combinators and Walker instance for Coercion.