VARIETIES OF LANGUAGES