Add Biapply
Add Biapplicative
Update docs