Claire properties for validating algebraic laws against the Fantasy Land specification