Add section on types

[metasean]

The Foundations: Functions section makes a lot of references to types and assumptions about the reader's knowledge of types. A short section before this point would be appropriate to introduce types and the types available within elm.

[sporto]

Sounds good, I agree. Will try to put some work on this or add a good link if someone has already written a great explanation.