meet.py should consider all Tuple[t1, t2, ...] as subtypes of plain tuple#2465