Add RepeatCharTerminal for more speed with repeated char terminals (e.g. repeated whitespace, or a sequence of repeated characters).