Progress towards editing UserValueType

Checkpoint.  We're now displaying it correctly, but not yet parsing the
input right.