In a computer system having means for representing source files, a method for rewriting a source file with respect to a given type name, said source file comprising a first plurality of at least zero types and a second plurality of at least zero function definitions, said method comprising the steps of:(A) creating a first type name, a second type name and a third type name, said first type name b