use a generic's bound when narrowing with isinstance if it's covariant, or Never if it's contravariant

use a generic's bound when narrowing with isinstance if it's covariant, or Never if it's contravariant #694