override inheriting targetName annotation

[Adam-Vandervorst]

Right now, overriding a meet method /\ needs tagging with @targetName("meet") and use of the symbolic name def /\.
However, this seems to defeat the purpose

• of having a symbolic name, because you still need the lengthy annotation
• of having a qualified name, because you still need to write out/look up the symbols.