sehr schön, dass PHP so langsam typsicherer wird.
Wenn es etwas mehr sein darf, kann ich phan empfehlen. Das ist ein Typchecker und ein statisches Analysetool aus der Feder von PHP-Erfinder Rasmus Lerdorf. phan geht über das PHP-interne Typsystem hinaus und erlaubt bspw. auch Generics, aka. parametrischer Polymorphismus.