Create a promoted TyCon for "data kind" things