php-extended-type-system/type not found