Better syntax for laws.
Defines the assertion function for laws.
Expresses tests in terms of laws.

This allows using property-based testing from day one, and reasoning in a more formal way. The idea of formulating theorems from expressions and doing equational reasoning to understand (and proof) a piece of code then falls out naturally.