More tests for RankNTypes, adding polytypes to type synonyms and data declaration