Added fibered bipointed types

Also changed “2-cell” to “bipointed homotopy”.