Introduce DependencyType, finalize commutations and improve integrity checks