python typing literal multiple values