Predicates names should not be used for disambiguation

[Bart Bogaerts]

Name should be for debug and user purposes only, not to check for equality e.g.

Related issue: An incorrect warning when adding P<ct> to a voc not containing P: The warning generated says tried "adding P/n to voc, so instead adding P/n" because the derived type is not in the name.

[Bart Bogaerts]

Issue #30 was marked as a duplicate of this issue.

[Broes De Cat]

Has been resolved for all symbols in the standard vocabulary. The related issue still exists.

[Broes De Cat]

Removing milestone: Later (automated comment)