typing: introduces a `types` module and a MatcherT alias

Pierre-Yves Davidrequested to merge
topic/default/pytype-cycle into branch/default

Merge request reports