Remove stray `PrintType` debugging helper
There is a left-over PrintType
in constraints.hh, see https://c0r3.ddns.info/pjs-clang/structPrintType.html
There is a left-over PrintType
in constraints.hh, see https://c0r3.ddns.info/pjs-clang/structPrintType.html