The type expansion command expands a type containing one or more type abbreviations. It expands them by only one level - there may be further type abbreviations in its result.