added bridge and join

so I wanted to call these methods connect but since the type signatures are the same, I had to come up with some creative names that I am totally willing to change if someone has better suggestions
I think `connect[A, C, B]` works here. ImplicitBijection will reverse if needed. Can you verify that does not work?