Describir: A formal theory of exceptions in generative phonology /