The next five years: a question about the type system

After watching the Elixir’s conf video about the next five years from José Valim, and that he spoke about adding a typesystem on Elixir and that experiment “failed”, so to speak, I wonder if the core team has evaluated to add something closer to clojure’s specs into the language, to try and extend the usefulness of typespecs.