Fix broken link in privacy-violation.md

Fix typo in Scoping

Fix broken link to Derek Dreyer's thesis

Modernize the Coq strict positivity example