Make check-below work on Bottom in more cases.
Improve handling of tc-any-results as an expected type.
Make check-below correctly fail in some more polydotted cases.
Simplify handling single value expected case in check-below.
Fix check-below error messages and make types and polydots work together.
Move tc-any-results cases together.
Add case for tc-any-results and polydotted.
Make location be in negative cases in check-below.
Change check-below to require its arguments to be same.
Rearrange and add comments.
Fix implied-atomic?
Add another broken test case.
Change test infrastructure to work better and show more broken code.
Make it return the expected value more.
Fix tc-results to not use broken match pattern.
Handle different number of results in seperate case.
Split out common subtype calls.
Make multiple value filters work.
Simplify error case.
Deduplicate check-below values error logic.