Seol mar théacs é seo: A formal theory of exceptions in generative phonology