add some minimal support for enriched homs, so we can meaningfully
define proper enriched copowers later.
prepped for the inclusion of powers