Moratorium on new global changes?

[marcbezem]

Recently I have used a lot of time carrying out global changes of notation and terminology in the book . I'm not even halfway with Ch. 2 and there is still a lot to do. For this reason I would like to propose a moratorium on new global changes of notation and terminology until we are done with properly propagating the existing ones (mainly points 4 and 5 in the style guide). Unfortunately there are currently many inconsistencies due to lack of propagation.

[DanGrayson]

Okay, good idea.