Description

EType describes a kind of type.