python type hint string literal