Minor grammar fixes

I came to suggest "the visit" instead of "the visiting", but reading the context it looks like the sentence is really trying to say the following:

> if the type [p_step] had a constructor indicating the visit of both left and right branches, we would need exactly one normalization indication by hypothesis.