Compiler [Typechecker]: Use match_types() where possible. Preparation for having low_match_types() add a reference to its return value.