HoTT/HoTT — pull request #372 by JasonGross (2014-04-20 06:21:43+00:00)
Title: Fix quotient universe

This is on top of #371.

It's ugly and hackish, so I'm not sure we actually want this.