Test diversity of types, aliases