More references to the Implementation Notes in spec

[neilsjefferies]

Cross references encourage people to read the implementation notes since they clarify points and answer many questions.