`val area() = with * height` is short for `val are...

# language-proposals

[Ruckus]

val area() = with * height is short for val area: Double get() = width * height