Типы формальных групп