Fix problem with dynamicSignature.

Pattern match needs to compare against list of names, not single name.
Universal equality bites again...

Also fix comment for ElimRepeated.