. " language, covering such topics as types and operations," . . . .