Used to combine type annotations with definitions and find ordering problems with Definitions and Ports