A short status update on the effort to bring a type system into Elixir.