Какова функция классов в структуре системы типов программного обеспечения?