Ela is a type safe, strictly typed language, which is, however, not burden by limitations of any particular type checker.
By nature, a language which is type safe and strictly typed must be burdened by the limitations of a "particular type checker." This is weak type safety at best. And it looks like there are runtime class checks, so you have all of the traditional drawbacks of dynamic languages.