Redefined SubstitutionS to allow for biradical substitution.

This commit tackles a problem identical to the one found in the
Substitution_O family, and now allows for reactions of the form

R-S-R' + R'': -> R-S-R''. + R'.

The rate estimates are likely to be pretty lousy in this case, too.