The only thing that kept me from choosing Elixir was the lack of a type checker. Has that changed?