Fabian Zickgraf

@mohamed-barakat You can merge this PR once the changes required in CategoricalTowers are implemented.

I just noticed that the new tests in this PR are not compatible with Julia. @mohamed-barakat Is this something you would like to fix together with @damian-delafuente?

> Could you please provide more details if you have time? There aren't many details to provide: `make gen; make test` in `CAP_project.jl/FreydCategoriesForCAP` fails since this PR, for example due...