Merge user_str/tri_value into user_value

user_str_value isn't justified any more with the other API improvements.
user_value now stores 0, 1, 2 for bool/tristate symbols, and a string
for other symbol types. Much simpler and more intuitive.

Also avoid printing quotes around tristate values in __repr__(). This
was inconsistent too as it was only done for the value and user value.

Should be getting close to final API.

0 files changed, 0 insertions, 0 deletions