#28 Adds discussion of location propagation

[jtoman]

Attempts to clarify what the located type does and how it would be used to model existing solidity types and the future plans for explicit data locations.

Once again tagging @cameel because I can't request a review.

Closes #28.