It's the wrong level: the RPython toolchain has no notion of PHP-level types, they're entirely implemented by the interpreter. Besides, optional static types are nearly useless (performance-wise) when you have a JIT.