hax_lib::attributes: Self is not substitued in ensures/requires

[W95Psp]

From issue #781:

#[hax_lib::attributes]
impl ... for TheType {
  #[requires(...)]
  fn f(&self, x: &Self) {}
}

Will fail because of the explicit Self. We need to substitute Self by TheType.