Don't identify variables with the same name

Now, when a variable is encountered with the same name as an existing
variable, the parser will just make sure that the new variable has the
same type as the old one.