Introducing four new proposals to the repo: 5.9, 5.10, 5.11, 5.12 (#267)

Introducing four new proposals to the repo: 5.9, 5.10, 5.11, 5.12 (#267) #54