Get value response is working.

It suports most common data types, and was based on z3 so on other
solver might give the wrong values,. We need some more case examples to
test and keep improving.