Convenience for declaring isomorphisms

It takes 4 declarations to declare an isomorphism in a category; you have to declare the forwards and backwards directions, and then you have to have two equalities for the composites.

There should be a macro or something that declares an isomorphism, and then gives programmatic `Name`s to the forwards and backwards directions and equalities.

Are there other scenarios like this that we might want shorthand for? What's the general solution to things like this?