Is there any study that shows any significant evidence of less bugs in python when using types?