Update to the newest HoTT/HoTT

Oops.  Typeclasses seem to be much slower.  Better go fix this..

After     | File Name                             | Before
------------------------------------------------------------
6m40.67s  | Category/Equality                     | 0m40.10s
2m25.56s  | Functor/Equality                      | 0m17.64s
1m18.82s  | NaturalTransformation/Equality        | 0m22.13s
0m11.90s  | UniversalProperties                   | 0m10.74s
0m11.77s  | Comma/Duals                           | 0m10.62s
0m11.02s  | Comma/CommaCategory                   | 0m10.88s
0m09.54s  | Comma/InducedFunctors                 | 0m09.01s
0m09.14s  | Groupoid                              | 0m09.19s
0m07.87s  | Category/Morphisms                    | 0m07.88s
0m05.06s  | Grothendieck/ToSet                    | 0m04.74s
0m04.43s  | Groupoid/Duals                        | 0m02.55s
0m03.97s  | Groupoid/Functors                     | 0m04.07s
0m02.45s  | SumPreCategory                        | 0m02.45s
0m02.12s  | Category/Product                      | 0m02.12s
0m02.10s  | Functor/CompositionLaws               | 0m02.28s
0m01.88s  | NaturalTransformation/Duals           | 0m01.89s
0m01.64s  | Hom                                   | 0m01.63s
0m01.42s  | NaturalTransformation/Composition     | 0m01.34s
0m01.17s  | InitialTerminalCategory               | 0m01.22s
0m01.16s  | NaturalTransformation/CompositionLaws | 0m01.26s
0m01.09s  | NatCategory                           | 0m00.98s
0m01.04s  | Functor/Product                       | 0m00.99s
0m01.00s  | Comma/Projection                      | 0m01.02s
0m00.94s  | NaturalTransformation/Product         | 0m00.94s
0m00.84s  | SetCategory                           | 0m00.55s
0m00.65s  | BoolCategory                          | 0m00.72s
0m00.51s  | Common                                | 0m00.53s
0m00.44s  | Cat                                   | 0m00.46s
0m00.44s  | Discrete/Duals                        | 0m00.46s
0m00.43s  | FunctorCategory                       | 0m00.39s
0m00.29s  | IndiscreteCategory                    | 0m00.32s
0m00.27s  | Adjoint/UnitCounit                    | 0m00.27s
0m00.26s  | Functor/Duals                         | 0m00.23s
0m00.24s  | NatCategory/Duals                     | 0m00.24s
0m00.23s  | Functor/Composition                   | 0m00.25s
0m00.23s  | NaturalTransformation/Identity        | 0m00.27s
0m00.20s  | IsGroupoid                            | 0m00.21s
0m00.19s  | Category/Objects                      | 0m00.25s
0m00.18s  | Category/Duals                        | 0m00.16s
0m00.18s  | NaturalTransformation/Core            | 0m00.21s
0m00.17s  | NaturalNumbersObject                  | 0m00.14s
0m00.16s  | Category/Core                         | 0m00.17s
0m00.13s  | ComputableCat                         | 0m00.12s
0m00.12s  | Functor/Identity                      | 0m00.11s
0m00.12s  | Functor/Core                          | 0m00.12s
0m00.11s  | Category/Category                     | 0m00.10s
0m00.11s  | Peano                                 | 0m00.12s
0m00.11s  | Grothendieck                          | 0m00.09s
0m00.10s  | NaturalTransformation                 | 0m00.10s
0m00.10s  | Category/StrictCategory               | 0m00.07s
0m00.10s  | DiscreteCategory                      | 0m00.09s
0m00.10s  | Utf8                                  | 0m00.10s
0m00.08s  | Functor                               | 0m00.08s
0m00.05s  | NotationsUtf8                         | 0m00.06s
0m00.04s  | Notations                             | 0m00.04s
------------------------------------------------------------
12m04.94s | Total                                 | 2m54.69s
Update HoTT

Now typeclass instances are saner.
Update library to make use of better typeclasses

Time     | File Name
------------------------------------------------
0m16.86s | Category/Equality
0m09.08s | Groupoid
0m07.22s | Category/Morphisms
0m04.65s | SumPreCategory
0m04.09s | Groupoid/Duals
0m03.20s | Functor/Equality
0m03.08s | Groupoid/Functors
0m02.77s | Grothendieck/ToSet
0m02.30s | BoolCategory
0m02.17s | NaturalTransformation/Equality
0m02.11s | Functor/CompositionLaws
0m01.80s | Category/Product
0m01.75s | NaturalTransformation/Duals
0m01.72s | Hom
0m01.39s | NaturalTransformation/Composition
0m01.20s | NaturalTransformation/CompositionLaws
0m00.99s | Functor/Product
0m00.92s | NaturalTransformation/Product
0m00.56s | Common
0m00.33s | Discrete/Duals
0m00.32s | IndiscreteCategory
0m00.31s | SetCategory
0m00.30s | FunctorCategory
0m00.28s | NaturalTransformation/Identity
0m00.28s | NatCategory
0m00.27s | Adjoint/UnitCounit
0m00.26s | InitialTerminalCategory
0m00.25s | NatCategory/Duals
0m00.24s | Functor/Duals
0m00.24s | Functor/Composition
0m00.23s | Category/Objects
0m00.18s | NaturalTransformation/Core
0m00.18s | NaturalNumbersObject
0m00.16s | Category/Core
0m00.14s | Category/Duals
0m00.13s | Category/Category
0m00.13s | DiscreteCategory
0m00.12s | Functor/Identity
0m00.12s | ComputableCat
0m00.11s | Functor/Core
0m00.11s | Peano
0m00.10s | NaturalTransformation
0m00.10s | Functor
0m00.09s | Utf8
0m00.08s | Category/StrictCategory
0m00.08s | Grothendieck
0m00.05s | NotationsUtf8
0m00.04s | Notations
------------------------------------------------
1m13.09s | Total
iota expand to fix Contr vs. IsTrunc

Time     | File Name
------------------------------------------------
0m16.66s | Category/Equality
0m11.29s | UniversalProperties
0m11.21s | Comma/Duals
0m10.96s | Comma/CommaCategory
0m08.80s | Comma/InducedFunctors
0m08.76s | Groupoid
0m07.18s | Category/Morphisms
0m04.67s | SumPreCategory
0m03.91s | Groupoid/Duals
0m03.53s | Groupoid/Functors
0m03.21s | Functor/Equality
0m02.78s | Grothendieck/ToSet
0m02.34s | BoolCategory
0m02.20s | NaturalTransformation/Equality
0m02.18s | Functor/CompositionLaws
0m01.90s | NaturalTransformation/Duals
0m01.89s | Category/Product
0m01.63s | Hom
0m01.49s | NaturalTransformation/Composition
0m01.17s | NaturalTransformation/CompositionLaws
0m01.10s | InitialTerminalCategory
0m01.07s | Comma/Projection
0m00.97s | Functor/Product
0m00.91s | NaturalTransformation/Product
0m00.49s | Common
0m00.35s | Discrete/Duals
0m00.33s | Cat
0m00.31s | IndiscreteCategory
0m00.28s | Functor/Composition
0m00.27s | FunctorCategory
0m00.26s | Adjoint/UnitCounit
0m00.26s | NatCategory
0m00.25s | NaturalTransformation/Identity
0m00.24s | Functor/Duals
0m00.22s | Category/Objects
0m00.22s | NatCategory/Duals
0m00.21s | SetCategory
0m00.20s | IsGroupoid
0m00.19s | Category/Core
0m00.19s | NaturalTransformation/Core
0m00.16s | Category/Duals
0m00.14s | NaturalNumbersObject
0m00.13s | Functor
0m00.12s | DiscreteCategory
0m00.12s | Peano
0m00.11s | Category/StrictCategory
0m00.11s | ComputableCat
0m00.11s | Category/Category
0m00.10s | Functor/Core
0m00.10s | NaturalTransformation
0m00.09s | Functor/Identity
0m00.09s | Grothendieck
0m00.08s | Utf8
0m00.05s | Notations
0m00.04s | NotationsUtf8
------------------------------------------------
1m57.62s | Total