Now that POPL deadline is over, here are some more lemmata. As always let me know if I should change anything.