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.
Merge pull request #386 from JasonGross/transparent-lift-lower

Make lift and lower transparent