Added Groupoid. Added missing instances for Unit and Empty. Added Trivial "No" functor from Empty