Add unit tests for liftCoMatch
It transpired in #21205 (closed) that there were subtle bugs lurking in ty_co_match.
I think it would be a good idea to write some unit tests for liftCoMatch to ensure that correctly round-trips with liftCoMatch in situations where we expect it to.