Update POPL.md

Adding Principles of POPL document sections.