RedisModule.cs improvements