typing literal python 3.7