Formal and Substance Free Theories of Phonological Grammar