We have not made research about how to implement such type hinting in C, however I think that would add a lot of overhead to the overall execution, most of the time you pass the right parameters to methods, however PHP is interpreted and it doesn't know if code is stable or it is in development and is always checking if a variable is instance of a class or implements certain interface.
Maybe avoid that is micro-optimization, however due to the fact that phalcon is fully OO and it calls hundreds/thousands of methods in every request that would make the framework slower.
Moreover, I guess we need to implement our own way of register methods + type hints, since the current ones provided by the Zend API don't provide a way to specify type hints.