Seol mar théacs é seo: Syntactic control of concurrency