[Pitch] Enable multi-statement closure parameter/result type inference

Evolution Pitches
28

3 posts were split to a new topic: Improving the documentation of the constraint system