Seol mar théacs é seo: Abstracting syntactic privacy notions via privacy games