Implement type inferences from guard expressions #406

Job	Run time
static analysis (Elixir 1.15.x \| Erlang/OTP 26.x)	1m 12s
mix test windows (Elixir 1.13.x \| Erlang/OTP 22.x)	1m 50s
mix test (Elixir 1.13.x \| Erlang/OTP 22.x)	54s
mix test windows (Elixir 1.13.x \| Erlang/OTP 23.x)	2m 13s
mix test (Elixir 1.13.x \| Erlang/OTP 23.x)	58s
mix test windows (Elixir 1.13.x \| Erlang/OTP 24.x)	2m 31s
mix test (Elixir 1.13.x \| Erlang/OTP 24.x)	1m 2s
mix test windows (Elixir 1.13.x \| Erlang/OTP 25.x)	2m 16s
mix test (Elixir 1.13.x \| Erlang/OTP 25.x)	54s
mix test windows (Elixir 1.14.x \| Erlang/OTP 23.x)	2m 9s
mix test (Elixir 1.14.x \| Erlang/OTP 23.x)	1m 13s
mix test windows (Elixir 1.14.x \| Erlang/OTP 24.x)	2m 40s
mix test (Elixir 1.14.x \| Erlang/OTP 24.x)	1m 7s
mix test windows (Elixir 1.14.x \| Erlang/OTP 25.x)	2m 11s
mix test (Elixir 1.14.x \| Erlang/OTP 25.x)	1m 1s
mix test windows (Elixir 1.14.x \| Erlang/OTP 26.x)	2m 24s
mix test (Elixir 1.14.x \| Erlang/OTP 26.x)	51s
mix test windows (Elixir 1.15.x \| Erlang/OTP 24.x)	1m 38s
mix test (Elixir 1.15.x \| Erlang/OTP 24.x)	54s
mix test windows (Elixir 1.15.x \| Erlang/OTP 25.x)	2m 28s
mix test (Elixir 1.15.x \| Erlang/OTP 25.x)	1m 2s
mix test windows (Elixir 1.15.x \| Erlang/OTP 26.x)	2m 0s
mix test (Elixir 1.15.x \| Erlang/OTP 26.x)	1m 1s
	36m 29s

Provide feedback