Tangles-Cleaned-Up-With Domain-Codomain notation replacing count-notation