!str: IteratorInterpreter and ByteStringBatcher

also Fixing TerminationDirective return types