#13 Add definition for System F 1 year, 4 months ago

Ticket created by ~mwzzhang on ~bfiedler/typing-is-hard

While there are really nice definitions for Hindley-Milner and dependent type, there is nothing about what System F is and how it works. So, it would be nice if System F also gets a blurb in the common terms section.