Deopacify a bit in Functor/Pointwise/Properties

This is necessary to construct pointwise adjunctions.  Since this is a small change that doesn't touch the core library, I'm going to push it directly.