Functoriality and product-preservation of reflective subuniverses

I found the current version easier to think about and write, and also more like the common style of informal argument in category theory.  It's a matter of individual preference, of course.