discover a unsigned (raw) type for values, as well as a value_t

The thinking here is to find a type that we can use as the result of
handle_read_raw and input to handle_write_raw.

Github: related to #23 "Use native scalars of variable size"