Merge pull request #4 from connorboyd/master

Updated formatting
Update PrinciplesPaperRoughDraft.md
Merge pull request #4 from gggorillaz/master

included type inferencing to paper