Properly print data kind declarations in ghci
Remove an old TODO
Switch from Maybe TyCon to a richer type for promotion

  The new type distinguishes the two cases where promotion isn't possible:
1) Promotion isn't possible, as it's disabled by a 'data type' declaration
2) Promotion isn't possible because we don't know how to promote it