The Euclid Language: A Progress Report, 1978