For the record, Elixir has been slowly introducing a set theoretic gradual type system.