Adding type constraints for generic type arguments

[fubar-coder]

This libraries SimpleReducer<State> relies on State being a struct (value type). This should be ensured by adding a where State : struct constraint.