Add bundled mono-/iso-{/epi-} morphisms

[jamesmckinna]

The following don't need changes now but we should make issues for them so we don't lose track:

• Bundles for monomorphisms and isomorphisms (and epimorphisms if we add those)

Originally posted by @Taneb in #2383 (review)

Under Algebra.Morphism.Bundles...