[ comment ] level Max[] is ClosedLevel 0.
[ debug ] fitsIn: properly raised sort to avoid confusing debug messages
[ refactor, comments ] Conversion.equalSort.
[ issue 1205 ] Fixed by postponing leqSort problems involving dLub.