Reviewed all the issues; Added a few comments for review.

[informatimago]

[Bike]

with respect to arithmetic-error-operands, the suggestion to make them generic functions would probably involve the issue to make condition types into classes, which i put in a branch since it's rather more involved https://github.com/s-expressionists/wscl/blob/condition-type-classes/wscl-issues/proposed/condition-type-classes

[informatimago]

with respect to arithmetic-error-operands, the suggestion to make them generic functions would probably involve the issue to make condition types into classes, which i put in a branch since it's rather more involved https://github.com/s-expressionists/wscl/blob/condition-type-classes/wscl-issues/proposed/condition-type-classes

Definitely, this would be out of scope of wscl.