major rework of things, setoids, universes, and quotients.  Everything is very sexy now.