proposal additions: control flow and stdlib sections.