sharpen the result of tmerge() for Tuple types

change a comprehension in Pkg.Reqs.Requirement that depended on type
inference. due to `call` constructors we simply cannot get its type
anymore, although the other change in this commit helps a lot.