Added and fixed informal definition.
Added additional text to the informal defition text. Changed a few definitions
to match the language as it is now. Still need more writing and review.
Only fixed a few mentions.
Merge branch 'master' of github.com:DonnoDK/408f13-latex