A distinction was drawn between phonology and what?