clean up

here are the slow bits:

    make topten
    ./Categories.v:35781-35813: [exact~(Abgr.productEqn~X~T~g~i...] 4.661 secs (4.657u,0.003s)
    ./Categories.v:36416-36455: [exact~(productEqn~X~(pr1~T)~(p...] 4.651 secs (4.647u,0.003s)
    ./Categories.v:36645-36653: [Defined.] 2.844 secs (2.841u,0.003s)
    ./Categories.v:35814-35818: [Qed.] 2.328 secs (2.328u,0.s)
    ./Categories.v:18364-18368: [Qed.] 1.038 secs (1.031u,0.007s)