Python static typing with annotations