Improve "Improve Contract Syntax" DIP 1009

[bauss]

On Thursday, 2 November 2017 at 10:47:09 UTC, codephantom wrote:
> On Thursday, 2 November 2017 at 09:18:51 UTC, Patrick Schluter 
> wrote:
>> if() in template constraints are similar, so it is nothing 
>> shockingly out of character.
>> They are not free floating either as they are part of the 
>> function definition
>>
>
> you know the old saying... what happens in vegas stays in 
> vegas...
>
> well... the same should be said for template programming.
>
> what happens in templates, should stay in templates.

I disagree with that, because it would make the language very 
verbose.