SMS dit: Natural language variables: variable-based semantic theories of pronouns and proper names