PySonar + Cython = pure-python compiler ?

The recent buzz on PySonar made me think about a possible way to create a pure-python compiler.

The idea would be to statically analyze your pure-python code with PySonar, and to format the result of the analysis into an "augmenting .pxd" file containing the static type definitions that Cython can use for its compilation. You would then compile your .py files with Cython, with the help of the .pxd files, resulting in a fast, efficient executable.  

Wouldn't that be neat ? Is it feasible ? Is anybody working on it ? Please discuss on reddit.