fixes for 1.4.2
Refectored TransitiveChecker
Removed transitive creation
Fixed tests for Transitive middle based on Lens