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

Merge request reports

Loading