Add automatic implicit algebraic structures to AlgebirdBijections

If a Bijection is in scope from [A, T] and someone has imported AlgebirdBijections._, then it makes sense to have the converted monoid in scope.