I really feel that this is hurting `val`s because ...

# language-proposals

[kirillrakhman]

I really feel that this is hurting `val`s because they are really handy at use site but very clumsy at declration site. even if you implemented the type inference for `val`s (no `var`s) with expression bodies only, this would fulfill > 90% of the use cases