The Formal Grammar of Switch-Reference (RLE Linguistics B: Grammar)