Ensure that the small set of uniqtypes used from libcrunch are actually compiled in to the library (though likely overridden by executable).
noop: fix outrageous logic inversion in the more exotic checks.
Don't allow optimising away references to the uniqtypes we use.
Tweak the C++ handling so that it comes closer to working.
Factor link-used-types logic into language-dependent and -independent parts, adding a skeleton C++ version.
Don't print repeat failures in non-verbose mode.