@stylewarning I added a couple more changes that might be controversial. Namely, I removed the coalton: prefixes in places where they're not technically required, and I capitalised the symbols false and true. I can revert those if you think it's better to be clear about where those symbols are coming from.
@stylewarning I added a couple more changes that might be controversial. Namely, I removed the
coalton:prefixes in places where they're not technically required, and I capitalised the symbolsfalseandtrue. I can revert those if you think it's better to be clear about where those symbols are coming from.