add Type::isNever and Type::isExplicitNever methods

[canvural]

Re-opening #4545

I think the issue bot changes are valid and is the same case as I described here

[ondrejmirtes]

I disagree about it. There's nothing wrong about this signature:

	/**
	 * @template T of BackedEnum
	 * @param class-string<T> $class
	 * @param value-of<T> $value
	 */

I feel like UnresolvableTypeHelper should skip LateResolvableTypes.

[canvural]

I think that'd just hide the error. Currently value-of with generics and backed enums seems to be broken. And looks like #4548 might fix it 👀

Edit: I copied the snippet you referenced and the fix from #4548 and looks like that fixes it without the need of skipping LateResolvableTypes in UnresolvableTypeHelper