A `<procedure>` contains a sequence of `<step>`'s, or `<substeps>` that themselves contain `<step>`'s.
A <simplesect> is a section like any other, except that it never contains an subsection, and is typically rendered unnumbered.