question: protected void preprocessType ( Type t ) { typePreprocessor . visit ( t ) ; }
target:  Preprocess a given type looking for (i) additional info (where clauses) to be added to the main diagnostic (ii) names to be compacted.