Added Section/Clause 8 traversals R801-R854.
Fixed non-unique names for constructors in Clause/Section 8.