Added Section/Clause 4 traversals.
Fixed non-unique names for constructors in Clause/Section 4.
Removed old traversals.