python typing practice