Bitraversable1 instances
fix circular definition
Refactor bitraverse1, fencepostZipWith and embed to use new panel combinator