proposal additions: control flow and stdlib sections.

@dariajung @parthibanloganathan @JimJarvis