DOL — Simple typos and grammatical errors

P11: shard -> shared

P25: “Annex M provides of DOL texts, which provide examples for all DOL constructs,” clumsy. Reword “Annex M provides textual examples for all DOL constructs,”

P25: The bibliography contains Q references -> delete Q

P31: “Often is useful” -> “Often it is useful”

P35: “in this context are ask” -> “in this context ask”

P62: Table 2 should be positioned in 9.8.1.2, not in the middle of 9.8.1.1.

P125: “many-sorted first has been formalized” -> “many-sorted first-order logic has been formalized”

all corrections were made

all corrections were made