Add getModelUninterpretedValue

Similar to getModelValue, but for uninterpreted-sorts. Unfortunately,
the best we can do in this case is to return a string, but better than
nothing.