Extended notes (22 Dec 2017)
Here (pdf) is a collection of extended remarks, explanations and examples that complement the main paper, but which have not been included (or which have been abridged) in the paper in order to keep it reasonably compact.