Add NaturalNumbersObject

After    | File Name                             | Before
-----------------------------------------------------------
0m39.33s | Category/Equality                     | 0m41.03s
0m21.18s | NaturalTransformation/Equality        | 0m22.25s
0m17.16s | Functor/Equality                      | 0m18.75s
0m10.89s | Comma/CommaCategory                   | 0m10.94s
0m10.86s | UniversalProperties                   | 0m10.95s
0m10.05s | Comma/Duals                           | 0m10.59s
0m09.10s | Groupoid                              | 0m09.07s
0m07.41s | Category/Morphisms                    | 0m07.53s
0m04.92s | Grothendieck/ToSet                    | 0m04.76s
0m03.91s | Groupoid/Functors                     | 0m03.96s
0m02.38s | Groupoid/Duals                        | 0m02.30s
0m02.31s | SumPreCategory                        | 0m02.47s
0m02.14s | Category/Product                      | 0m02.07s
0m02.12s | Functor/CompositionLaws               | 0m02.13s
0m01.80s | NaturalTransformation/Duals           | 0m01.76s
0m01.40s | NaturalTransformation/Composition     | 0m01.40s
0m01.29s | NaturalTransformation/CompositionLaws | 0m01.21s
0m01.10s | InitialTerminalCategory               | 0m01.12s
0m00.99s | NatCategory                           | 0m00.98s
0m00.97s | Comma/Projection                      | 0m01.01s
0m00.70s | BoolCategory                          | 0m00.66s
0m00.57s | SetCategory                           | 0m00.56s
0m00.44s | Cat                                   | 0m00.47s
0m00.41s | FunctorCategory                       | 0m00.39s
0m00.41s | Discrete/Duals                        | 0m00.43s
0m00.40s | Common                                | 0m00.40s
0m00.33s | Functor/Product                       | 0m00.33s
0m00.30s | IndiscreteCategory                    | 0m00.28s
0m00.28s | Functor/Duals                         | 0m00.23s
0m00.24s | Adjoint/UnitCounit                    | 0m00.28s
0m00.24s | NaturalTransformation/Identity        | 0m00.28s
0m00.23s | NatCategory/Duals                     | 0m00.23s
0m00.22s | Category/Objects                      | 0m00.22s
0m00.21s | IsGroupoid                            | 0m00.19s
0m00.21s | Functor/Composition                   | 0m00.21s
0m00.18s | NaturalNumbersObject                  |   N/A
0m00.17s | NaturalTransformation/Product         | 0m00.16s
0m00.16s | Category/Core                         | 0m00.15s
0m00.16s | Functor/Core                          | 0m00.14s
0m00.15s | Category/Duals                        | 0m00.15s
0m00.14s | NaturalTransformation/Core            | 0m00.16s
0m00.11s | ComputableCat                         | 0m00.13s
0m00.11s | Peano                                 | 0m00.12s
0m00.10s | NaturalTransformation                 | 0m00.10s
0m00.10s | Category/StrictCategory               | 0m00.10s
0m00.10s | Category/Category                     | 0m00.11s
0m00.10s | Functor                               | 0m00.09s
0m00.09s | Functor/Identity                      | 0m00.09s
0m00.08s | Utf8                                  | 0m00.09s
0m00.08s | Grothendieck                          | 0m00.10s
0m00.07s | DiscreteCategory                      | 0m00.08s
0m00.04s | NotationsUtf8                         | 0m00.05s
0m00.02s | Notations                             | 0m00.05s
-----------------------------------------------------------
2m38.46s | Total                                 | 2m43.31s
Add some specialized currying, add Hom

After    | File Name                             | Before
-----------------------------------------------------------
0m39.64s | Category/Equality                     | 0m41.02s
0m21.59s | NaturalTransformation/Equality        | 0m22.39s
0m18.03s | Functor/Equality                      | 0m17.26s
0m10.70s | Comma/CommaCategory                   | 0m11.14s
0m10.69s | UniversalProperties                   | 0m11.34s
0m10.50s | Comma/Duals                           | 0m10.46s
0m09.88s | Groupoid                              | 0m09.60s
0m07.38s | Category/Morphisms                    | 0m07.98s
0m05.10s | Grothendieck/ToSet                    | 0m04.78s
0m04.01s | Groupoid/Functors                     | 0m03.79s
0m02.43s | Groupoid/Duals                        | 0m02.34s
0m02.29s | SumPreCategory                        | 0m02.34s
0m02.19s | Functor/CompositionLaws               | 0m02.23s
0m02.08s | Category/Product                      | 0m02.13s
0m01.85s | NaturalTransformation/Duals           | 0m01.69s
0m01.70s | Hom                                   |   N/A
0m01.34s | NaturalTransformation/Composition     | 0m01.39s
0m01.22s | InitialTerminalCategory               | 0m01.07s
0m01.21s | NaturalTransformation/CompositionLaws | 0m01.27s
0m01.10s | NatCategory                           | 0m00.96s
0m00.97s | Comma/Projection                      | 0m01.03s
0m00.95s | Functor/Product                       | 0m00.36s
0m00.87s | NaturalTransformation/Product         | 0m00.18s
0m00.64s | BoolCategory                          | 0m00.70s
0m00.56s | SetCategory                           | 0m00.54s
0m00.52s | Cat                                   | 0m00.52s
0m00.44s | Common                                | 0m00.39s
0m00.41s | FunctorCategory                       | 0m00.43s
0m00.41s | Discrete/Duals                        | 0m00.42s
0m00.28s | IndiscreteCategory                    | 0m00.25s
0m00.25s | Adjoint/UnitCounit                    | 0m00.30s
0m00.25s | NaturalTransformation/Identity        | 0m00.27s
0m00.24s | Functor/Duals                         | 0m00.23s
0m00.24s | NatCategory/Duals                     | 0m00.22s
0m00.21s | Category/Objects                      | 0m00.24s
0m00.21s | IsGroupoid                            | 0m00.22s
0m00.20s | Functor/Composition                   | 0m00.27s
0m00.20s | NaturalTransformation/Core            | 0m00.21s
0m00.18s | Category/Core                         | 0m00.16s
0m00.16s | NaturalNumbersObject                  | 0m00.14s
0m00.15s | Category/Duals                        | 0m00.16s
0m00.14s | ComputableCat                         | 0m00.14s
0m00.14s | Peano                                 | 0m00.13s
0m00.12s | Functor/Core                          | 0m00.13s
0m00.10s | NaturalTransformation                 | 0m00.10s
0m00.10s | Functor/Identity                      | 0m00.12s
0m00.09s | Category/Category                     | 0m00.12s
0m00.09s | Functor                               | 0m00.08s
0m00.09s | Utf8                                  | 0m00.08s
0m00.09s | Grothendieck                          | 0m00.09s
0m00.08s | Category/StrictCategory               | 0m00.08s
0m00.08s | DiscreteCategory                      | 0m00.10s
0m00.05s | NotationsUtf8                         | 0m00.06s
0m00.03s | Notations                             | 0m00.05s
-----------------------------------------------------------
2m44.47s | Total                                 | 2m43.70s