Deopacify a bit in Functor/Pointwise/Properties

This is necessary to construct pointwise adjunctions.