Add implicit from Bijection[A, B @@ Rep[A]] to Injection[A, B]

[P. Oscar Boykin]

have to be careful with cycles in the implicit resolution.