Make AnyValues but don't actually start using it yet.
Add tc-any-results as new result-type.
Made tc/exprs check its non final terms with the correct type.

Closes PR12974.
Remove tc-results? and other minor improvements.