Is there a way to get type checking for application state that is largely made using dynamic reducers? The official documentation says that I should add types of the dynamic