My Future with Elixir: set-theoretic types