Distinguish between "foo (): type" and "foo (): (_:type)" (fixes #360).

The former is syntactic sugar for foo (): (result:type). But there is no good reason for the latter to also be syntactic sugar for it.

Closes #360 (closed)