Implement type inferences from guard expressions #375

Job	Run time
static analysis (Elixir 1.15.x \| Erlang/OTP 26.x)	2m 38s
mix test (Elixir 1.13.x \| Erlang/OTP 22.x)	1m 0s
mix test (Elixir 1.13.x \| Erlang/OTP 23.x)	1m 14s
mix test (Elixir 1.13.x \| Erlang/OTP 24.x)	1m 6s
mix test (Elixir 1.13.x \| Erlang/OTP 25.x)	1m 2s
mix test (Elixir 1.14.x \| Erlang/OTP 23.x)	1m 4s
mix test (Elixir 1.14.x \| Erlang/OTP 24.x)	51s
mix test (Elixir 1.14.x \| Erlang/OTP 25.x)	53s
mix test (Elixir 1.14.x \| Erlang/OTP 26.x)	50s
mix test (Elixir 1.15.x \| Erlang/OTP 24.x)	1m 6s
mix test (Elixir 1.15.x \| Erlang/OTP 25.x)	48s
mix test (Elixir 1.15.x \| Erlang/OTP 26.x)	44s
mix test windows (Elixir 1.13.x \| Erlang/OTP 22.x)	2m 1s
mix test windows (Elixir 1.13.x \| Erlang/OTP 23.x)	1m 51s
mix test windows (Elixir 1.13.x \| Erlang/OTP 24.x)	1m 49s
mix test windows (Elixir 1.13.x \| Erlang/OTP 25.x)	2m 2s
mix test windows (Elixir 1.14.x \| Erlang/OTP 23.x)	2m 41s
mix test windows (Elixir 1.14.x \| Erlang/OTP 24.x)	2m 10s
mix test windows (Elixir 1.14.x \| Erlang/OTP 25.x)	1m 53s
mix test windows (Elixir 1.14.x \| Erlang/OTP 26.x)	2m 13s
mix test windows (Elixir 1.15.x \| Erlang/OTP 24.x)	1m 39s
mix test windows (Elixir 1.15.x \| Erlang/OTP 25.x)	2m 1s
mix test windows (Elixir 1.15.x \| Erlang/OTP 26.x)	1m 51s
	35m 27s

Provide feedback