Define single complete types in the overview of the type system