Delete two implicits

- SeqWithRender: map() should be used instead
- ChannelWithBind: There are already implicits which turn arbitrary channels
  into widgets (*ChannelToWidget)
Channel: Implement back-propagation in filter()
HTML: Refactor binding to channels, merge with logic from implicits