python typing optional literal