К формальной типологии падежных системдоклад на конференции