Python should have done runtime type checking instead of compile-time only String and List annotations and so on