Check name compatibility in frozen isValueCompatibleWith
Use parens for explicit operator precedence
Correct check for tuple/udt collection reserialization
Clearer logic for dealing with CONTAINS when building bounds