Minimal optimizations in Cool.(r|)index

Mainly by not having to .Str if it is already a Str.  Gives about 2% on
Str.lines on e.g. /usr/share/dict/words