Implement type inferences from guard expressions #405

Job	Run time
mix test windows (Elixir 1.13.x \| Erlang/OTP 22.x)	1m 36s
mix test (Elixir 1.13.x \| Erlang/OTP 22.x)	53s
mix test windows (Elixir 1.13.x \| Erlang/OTP 23.x)	1m 55s
static analysis (Elixir 1.15.x \| Erlang/OTP 26.x)	50s
mix test (Elixir 1.13.x \| Erlang/OTP 23.x)	1m 10s
mix test windows (Elixir 1.13.x \| Erlang/OTP 24.x)	2m 17s
mix test (Elixir 1.13.x \| Erlang/OTP 24.x)	1m 3s
mix test windows (Elixir 1.13.x \| Erlang/OTP 25.x)	1m 58s
mix test (Elixir 1.13.x \| Erlang/OTP 25.x)	1m 8s
mix test windows (Elixir 1.14.x \| Erlang/OTP 23.x)	2m 17s
mix test (Elixir 1.14.x \| Erlang/OTP 23.x)	59s
mix test windows (Elixir 1.14.x \| Erlang/OTP 24.x)	2m 2s
mix test (Elixir 1.14.x \| Erlang/OTP 24.x)	1m 10s
mix test windows (Elixir 1.14.x \| Erlang/OTP 25.x)	1m 46s
mix test (Elixir 1.14.x \| Erlang/OTP 25.x)	55s
mix test windows (Elixir 1.14.x \| Erlang/OTP 26.x)	2m 9s
mix test (Elixir 1.14.x \| Erlang/OTP 26.x)	1m 1s
mix test windows (Elixir 1.15.x \| Erlang/OTP 24.x)	1m 56s
mix test (Elixir 1.15.x \| Erlang/OTP 24.x)	48s
mix test windows (Elixir 1.15.x \| Erlang/OTP 25.x)	1m 57s
mix test (Elixir 1.15.x \| Erlang/OTP 25.x)	51s
mix test windows (Elixir 1.15.x \| Erlang/OTP 26.x)	1m 58s
mix test (Elixir 1.15.x \| Erlang/OTP 26.x)	54s
	33m 33s

Provide feedback