Define pseudonatural transformations

This is based on an email from Mike Shulman.

Compared with the pain of pseduofunctors, this one is surprisingly fast
and (comparatively) lacking in pain.