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 and a second type name, said first type name being distinct from