Reducer concept: Document final and mark init as optional

[masterleinad]

We didn't mention the final member function in the reducer concept and providing an init member function is optional as well.