Adding subst2

Adding subst2 :: a :=: b -> f (g a) -> f (g b)