fix variable names
fix rtyping error

somehow rpython can't figure out that m.string has type string, but it
can figure out that m.group(0) is a string.

are there annotations to tell rpython that something is a string? (or
has some specific type in general?)