Operators have now a String based identifier and a proper toString() implementation returning the String based id.
Operators have now a String based identifier and a proper toString() implementation returning the String based id.