Added RankNTypes. Still need to add unit tests. I can also add negative numbers, real numbers (maybe complex if I feel the desire to)