* Introduce the notion of GIMPLE statements and GIMPLE
expressions. Each has attributes that the other does not need. A
statement will have location information and no type, while an
expression will have type and no location information.
Expressions need locations too for proper debugging information.