Do not use transitive closure module for cycle detection in datatypes (was bottleneck).