A Formal Theory of Exceptions in Generative Phonology