PHP 8.0 feature focus : type improvements