Fix theories/categories/FunctorCategory/Functorial.v
Fix some bugs, do some debugging