epresenting 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 said second type name; and then (B) for