new visitor TypeEqualityChecker
new visitor completed TypeDisplayer.
1st level unfold of new visitor TypeUnresolver
2nd level unfold TypeUnresolver.
new visitor NarrowerThanComparator.