Make some small enhancements and corrections of the Redis API.
Add the first draft of a typed API for accessing Redis keys.