protected void preprocessType(Type t){
  typePreprocessor.visit(t);
}

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