added bimonad docs