Allow redundant verbs in a single Verb directive

[erkyrath]

PunyInform has the line

Verb 'pronoun' 'pronouns' * -> Pronouns;

This now throws an error in v3 because the verbs collide:

Error: Two different verb definitions refer to "pronoun"

If it were on two lines, it would only be a warning:

Verb 'pronoun' * -> Pronouns;
Verb 'pronouns' * -> Pronouns;

Warning: This verb definition refers to "pronoun", which has already been defined. Use "Extend last" instead.

(If you use "Extend last" then there's no warning at all, but you get a redundant line in the grammar table.)

Arguably the single-line form should be accepted without even a warning. Just ignore the redundant verb word.

[erkyrath]

Puny is fixing this with an #IFV5, so it's not an urgent problem:

Verb 'pronoun' * -> Pronouns;
#IFV5;
Verb 'pronouns' * -> Pronouns;
#ENDIF;