python typing optional string