Implement type inferences from guard expressions #372

Job	Run time
static analysis (Elixir 1.15.x \| Erlang/OTP 26.x)	2m 34s
mix test windows (Elixir 1.13.x \| Erlang/OTP 22.x)	1m 58s
mix test windows (Elixir 1.13.x \| Erlang/OTP 23.x)	2m 19s
mix test windows (Elixir 1.13.x \| Erlang/OTP 24.x)	2m 1s
mix test windows (Elixir 1.13.x \| Erlang/OTP 25.x)	2m 6s
mix test windows (Elixir 1.14.x \| Erlang/OTP 23.x)	2m 47s
mix test windows (Elixir 1.14.x \| Erlang/OTP 24.x)	2m 12s
mix test windows (Elixir 1.14.x \| Erlang/OTP 25.x)	2m 17s
mix test windows (Elixir 1.14.x \| Erlang/OTP 26.x)	1m 59s
mix test windows (Elixir 1.15.x \| Erlang/OTP 24.x)	1m 31s
mix test windows (Elixir 1.15.x \| Erlang/OTP 25.x)	1m 32s
mix test windows (Elixir 1.15.x \| Erlang/OTP 26.x)	2m 10s
mix test (Elixir 1.13.x \| Erlang/OTP 22.x)	1m 14s
mix test (Elixir 1.13.x \| Erlang/OTP 23.x)	59s
mix test (Elixir 1.13.x \| Erlang/OTP 24.x)	52s
mix test (Elixir 1.13.x \| Erlang/OTP 25.x)	1m 3s
mix test (Elixir 1.14.x \| Erlang/OTP 23.x)	58s
mix test (Elixir 1.14.x \| Erlang/OTP 24.x)	1m 1s
mix test (Elixir 1.14.x \| Erlang/OTP 25.x)	1m 2s
mix test (Elixir 1.14.x \| Erlang/OTP 26.x)	1m 6s
mix test (Elixir 1.15.x \| Erlang/OTP 24.x)	48s
mix test (Elixir 1.15.x \| Erlang/OTP 25.x)	56s
mix test (Elixir 1.15.x \| Erlang/OTP 26.x)	47s
	36m 12s

Provide feedback