Make lift and lower transparent

The reason to make them opaque was purely for typeclasses.  They will
need to be transparent when we move to trunk-polyproj, to get an
alternate version of Funext_downward_closed to work correctly.