new generic and inherited built-in (&extended) types