Add missing `RankNTypes` extension