-
jpm@cs.ox.ac.uk authored
The previous names were not informative at all, and now we have named kinds like Constraint and datatype promotion to kind, so we might as well name these too. I tried to update some comments to the new names, but certainly many references to the old names remain.
18c7aea0