Zaslat SMS: A formal theory of exceptions in generative phonology