Elixir v1.20 released: now a gradually typed language

From Elixir v1.20, every program is now gradually type checked in search for verified bugs and typing violations.