Add link for "Closed type families with overlapping equations".
Merge branch 'patch-2' of github.com:rpglover64/popl2014-papers