Checkpoint, working on RnSource.lhs to add renaming of type space specifier.