Python static type system