add IsomorphismFoldable1, IsomorphismTraverse1, IsomorphismBifoldable

relax IsomorphismFoldable constraint