Describir: A formal account of the Crow- and Omaha-type kinship terminologies