WIP Grothendieck-cat
Copy Grothendieck.ToCat
WIP  Realized I need pseudonatural transformation
WIP
WIP Actually do PseudofunctorToCat right
WIP
WIP