Comment by weatherlight

Proposed type system described in more detail here. https://www.irif.fr/_media/users/gduboc/elixir-types.pdf