Encodes value to zinc format.
@override String toZinc() { StringBuffer s = StringBuffer(); s..write(type)..write("(\"")..write(val)..write("\")"); return s.toString(); }