Fix some typos

lib/elixir/lib/module/types/descr.ex

@@ -3472,7 +3472,7 @@ defmodule Module.Types.Descr do
       empty_s1_diff = empty?(s1_diff)
 
       cond do
-        # if fst is a subtype of s1, the disjointness invariant ensures we can
+        # if fst is a subtype of s1, the disjointedness invariant ensures we can
         # add those two pairs and end the recursion
         empty_fst_diff and empty_s1_diff ->
           [{x, union(snd, s2)} | pairs ++ acc]

lib/elixir/lib/module/types/helpers.ex

@@ -165,7 +165,7 @@ defmodule Module.Types.Helpers do
   defp collect_var_traces(parent_expr, traces) do
     traces
     |> Enum.reject(fn {expr, _file, type} ->
-      # As an otimization do not care about dynamic terms
+      # As an optimization do not care about dynamic terms
       type == %{dynamic: :term} or expr == parent_expr
     end)
     |> case do

lib/elixir/lib/protocol.ex

@@ -280,9 +280,9 @@ defmodule Protocol do
     type_args = :lists.map(fn _ -> quote(do: term) end, :lists.seq(2, arity))
     type_args = [quote(do: t) | type_args]
 
-    varify = fn pos -> Macro.var(String.to_atom("arg" <> Integer.to_string(pos)), __MODULE__) end
+    to_var = fn pos -> Macro.var(String.to_atom("arg" <> Integer.to_string(pos)), __MODULE__) end
 
-    call_args = :lists.map(varify, :lists.seq(2, arity))
+    call_args = :lists.map(to_var, :lists.seq(2, arity))
     call_args = [quote(do: term) | call_args]
 
     quote generated: true do

lib/elixir/lib/regex.ex

@@ -947,7 +947,7 @@ defmodule Regex do
   defp embeddable_modifiers([], acc, []), do: {:ok, acc}
   defp embeddable_modifiers([], acc, err), do: {:error, acc, err}
 
-  # translate modifers to options
+  # translate modifiers to options
 
   defp translate_options(<<?s, t::binary>>, acc),
     do: translate_options(t, [:dotall, {:newline, :anycrlf} | acc])