Warn on uses of Rank2Types

Long ago we deprecated Rank2Types in favor of RankNTypes. However, strangely, we don't appear to warn in this case. This should be fixed.

Edited May 02, 2022 by Ben Gamari

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