Added Bifunctor, Biapplicative, Bound has been extended.