"The style of the narrative reads more like a user guide than a standard.

• In many places, the author uses ""we"". That should be generally avoided. E.g.: ""..., we typically don't allow defaults to be used"" --> replace with ""...default values are generally not allowed"".

• ""There isn't much more to say about implicit Contracts other than it is recommended that a human brain be involved. "" Such an expression is hard to parse as of its exact meaning (even more so for a non-native speaker...): to avoid.

• Casual style belongs more to a primer or user guide: ""So now let's look at the rules governing the explicit Contract."""