Add value-mismatch to check-below, and fixup some poly dotted cases.
Add support for poly dotted types below tc-any-results.
Remove a special case for NoFilter/NoObject in check below.