update in kwarc members - language for aliases