Fix headers in 2013-05-31-implicits-unchained-type-safe-equality-part2.markdown