Initial implementation of the Redis extension