Seol mar théacs é seo: Natural language variables: variable-based semantic theories of pronouns and proper names