doc(reducible): add documentation for reducible hints.