When we discussed this last time (summarized by the link Pedro sent, I think) it came up that it might be nice to also

have kind synonyms, which would be analogous to type synonyms, but one level up.   The "natural" syntax for that would be to have a "type kind" declaration, but this seems a bit confusing...