Reactive State Management with Immutable Type-Safe Reducers

Design a high-performance, fully type-safe reactive state management system using TypeScript that supports complex application states with immutable update patterns. Implement a generic state reducer mechanism that guarantees compile-time type checking, supports complex nested state transformations, provides built-in time-travel debugging capabilities, and works seamlessly with both synchronous and asynchronous state updates. Include advanced features like optimistic updates, rollback mechanisms, and comprehensive change tracking.