Improve type inference for ValuesDots types

Add more precise types for `call-with-input-string`
that take advantage of the improved inference.

Closes PR 14050
Minor fix for REPL type printing

The old code worked, but triggered a contract
violation when contracts were enabled.