Add type signature for zadd