feature: analyser - make int ranges generic

### Feature

Support the following code

### Example

```php
<?php declare(strict_types=1);

/**
 * @template T of positive-int
 *
 * @param T $start
 * @param int<T,max> $end
 */
function range(int $start, int $end): void
{
    if (0 === $end) {
        // Dead code that mago should be able to spot
        echo 'hello';
    }
}
```