Explain automatic currying and how it relates to function signatures

[blaix]

Include the why, not just the what.

Probably something for the appendix. Link to it from the functions page.

Some relevant info and discussion here: gren-lang/compiler#221