Solve constraints on vars bound in each clause of an inline fun

[erszcz]

This is here to track:

Gradualizer/src/typechecker.erl

Lines 2052 to 2054 in 1498d17

	%% Variable bindings inside the fun clauses are local inside the fun.
	%% TODO: Solve constraints on the vars bound in each clause of the fun
	%% and propagate the rest of the constraints.