Added AnyValues structure.
Added tc-any-results as a new result type.
Made tc/exprs check its non final terms with the correct type.

Closes PR12974.