I'd really like to know why they chose to do this instead of trying to make spltypes and type hinting more robust. Annotations seem like an ugly way of doing this.
Phpdoc may not seem ideal, and it's not, but it has afforded some significant flexibility
It seems like an interesting solution to me.