Add [forall]/pi categories (indexed product categories)
Define pseudonatural transformations

This is based on an email from Mike Shulman.