message: Remove some method impls that are now covered by default impls
diff: @@ -55,18 +55,6 @@ impl BoundTerm for Name {
  _ => false,
  }
  }
  -
  - fn close_term<P>(&mut self, _: ScopeState, _: &P)
  - where
  - P: BoundPattern<Free = Name>,
  - {
  - }
  -
  - fn open_term<P>(&mut self, _: ScopeState, _: &P)
  - where
  - P: BoundPattern<Free = Name>,
  - {
  - }
  }
  impl BoundPattern for Name {
  @@ -89,18 +77,6 @@ impl BoundPattern for Name {
  *self = perm[0].clone(); // FIXME: double clone
  }
  - fn close_pattern<P>(&mut self, _: ScopeState, _: &P)
  - where
  - P: BoundPattern<Free = Name>,
  - {
  - }
  -
  - fn open_pattern<P>(&mut self, _: ScopeState, _: &P)
  - where
  - P: BoundPattern<Free = Name>,
  - {
  - }
  -
  fn on_free(&self, state: ScopeState, name: &Name) -> Option<Bound> {
  match name == self {
  true => Some(Bound {
  