Issue #5: Made the "operator type to string" conversion method of the VAST UnaryOperator public