Fix visitor rule for invalid polymorphic qualifier use

[zcai1]

hasAnnotationRelaxed only checks whether the name of the annotation matches the name of the poly annotation. This PR proposes to use hasAnnotation instead because we could have annotations with a poly value, and hasAnnotation also compares the values of an annotation.

Note: This PR is related to opprop/ontology#58 since it introduces the polymorphic annotation @Ontology(values={POLY})

[wmdietl]

This change looks good, and I don't think it's worth writing a new type system to test this.
Once the tests pass here and work for the ontology usage, please open the same PR in eisop.