[NTG-context] Module for Commutative Diagrams.