The initial motivation for this small PR was to fix an inconsistency between examples and the user manual: the "Warning = vs |" paragraph advises to use | as much as possible, but the record-contract example uses = inside contracts.
Doing so, I also took a tour of the existing examples to update them to use latest niceties whenever it made the code simple/more idiomatic/more readable (at least IMHO, but please challenge it if you don't think alike!)
The initial motivation for this small PR was to fix an inconsistency between examples and the user manual: the "Warning
=vs|" paragraph advises to use|as much as possible, but the record-contract example uses=inside contracts.Doing so, I also took a tour of the existing examples to update them to use latest niceties whenever it made the code simple/more idiomatic/more readable (at least IMHO, but please challenge it if you don't think alike!)