numeric algorithm adjacent_difference

The requires clause is unnecessary here. The `decltype` trailing return type has the effect of checking the syntactic constraint and SFINAE-ing out the overload. Please remove `Subtractible`, and also the others on `plus` and `multiplies`.