Updated documentation
Changed Rank2Types to RankNTypes