Add equality of functors

After    | File Name                             | Before
-----------------------------------------------------------
0m10.24s | Functor/Equality                      |   N/A
0m03.88s | NaturalTransformation/Equality        | 0m03.76s
0m02.24s | NaturalTransformation/Composition     | 0m02.22s
0m02.16s | Functor/CompositionLaws               | 0m02.03s
0m01.96s | SumPreCategory                        | 0m01.79s
0m01.90s | ProductPreCategory                    | 0m01.69s
0m01.34s | NaturalTransformation/CompositionLaws | 0m01.40s
0m00.24s | NaturalTransformation/Identity        | 0m00.24s
0m00.20s | Common                                | 0m00.19s
0m00.20s | Functor/Composition                   | 0m00.24s
0m00.15s | PreCategory                           | 0m00.16s
0m00.14s | NaturalTransformation/Core            | 0m00.13s
0m00.11s | NaturalTransformation                 | 0m00.06s
0m00.11s | Functor/Core                          | 0m00.09s
0m00.08s | Functor                               | 0m00.08s
0m00.07s | Functor/Identity                      | 0m00.11s
0m00.06s | NotationsUtf8                         | 0m00.04s
0m00.06s | Utf8                                  | 0m00.09s
0m00.05s | Notations                             | 0m00.04s
-----------------------------------------------------------
0m25.18s | Total                                 | 0m14.35s