new DIP40: Template parameter deduction for constructors

[Timothee Cour]

Thanks for the feedback, I've clarified the deduction mechanism and
show how it falls back to normal function template deduction.