Move to open-Values instead of open-Result.
Add a bunch of unit tests for open-Values.
Make the filter actually be opened up in the AnyValues case.
Substitute into the dotted type of tc-results.
Remove bad branch it tc-lambda, and support code in values->tc-results.

The branch was bad because Values is not a valid Type/c.
Merge open-Values and values->tc-results.
Simplify values->tc-results.

Also fixes a bug in subst-tc-results not substituting into the dotted
type.
Add test requiring filters on AnyValues.
Make tc-results->values not drop filters.
Correctly add scopes to incoming objects in replace-names.
Replace abstract-results with replace-names.

Also moves large comment over to with replace names since it is now
doing the heavy lifting.