Python Static Typing