Added embed functions to Bifoldable, Bifunctor and Bitraverse which return a new Bi* composed from a Bi* and two *s
Removed unnecessary imports
Merge pull request #750 from miguel-vila/compose-bifunctor-functors-bifoldable-foldables-bitraversables-traversable

Added embed functions to Bifoldable, Bifunctor and Bitraverse