Type inference improvements

[degory]

Bugs fixed:

• Types with unsafe generic parameter constraints could be inferred as element types
• Tuple elements without names could cause internal errors

Enhancements:

• Tweak least upper bound quality heuristic