In this compier step, a TypeSystemService object is instantiated, which keeps track of the program's variables and their types.