add RankNTypes or Rank2Types

See:

One is needed; we need to decide which.

Edited Nov 01, 2019 by Ross Paterson

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information