Introduced 'SumToProduct' class.
Small documentation cleanup.
Corrected type variable typo in type signature of (|||).
Added previously forgotten fixity of '|||'.