Pātuhitia tēnei: A formal theory of exceptions in generative phonology