В математике, логике и компьютерных науках теорией типов считается какая-либо формальная система, являющаяся альтернативой наивной теории множеств, сопровождаемая классификацией элементов такой системы с помощью типов, образующих некоторую иерархию. Также под теорией типов понимают изучение подобных формализмов. (Википедия)
Развёрнутое толкование значения слов и выражений, список фразеологизмов и устойчивых сочетаний, примеры, поясняющие отдельные значения.
Примеры употребления в контексте из современных источников и из русской классической литературы.
Правописание, таблицы склонения имён существительных и прилагательных, таблицы спряжения глаголов, разбор по составу с графической схемой и указанием списка сходных по морфемному строению слов.