Improve notations
Infinite Trees

  - Category of infinite trees
  - Diagonal comodule morphism

Needs massive refactoring