Progress on RankNTypes