Less restrictive Funext_downward_closed

Funext has three universes, and we want them all to be independent; this
seems to be necessary to eliminate universe inconsistencies in the
latest version of trunk.
Merge pull request #399 from JasonGross/more-general-funext-down

Less restrictive Funext_downward_closed