Support ValuesDots in a typechecking a funapp

Closes PR 13651