Add HasString and ReturnsString.

I needed these template variables in an attempt to make a tester that reads from an ACM-style file. (mostly to declare a line string so it can do getline() skips).