swiftのnullableの型理論の側面からの話を聞きたい