When doing normalization, remove all HBox axioms mentioning the role
that is treated as the "I"-binder.

Mainly remove these optimizations:

  - For some atomic concept C: H(f*, C) ↦ C
  - For some closed concept C: H(f*, C) ↦ H(*, C)

This is just some refactoring.