RelVal: short operation names (w/ambiguity detect)