A stack proposal carries a list of profiles, and each profile carries a list of
protocols. It should be clarified that the sequence within a profile represents
an ordered stack (rather than just a bag of protocols to be layered over each
other in some random order). The ordering will be top to bottom.