Liveness

    Level 1

        no semantics, no feedback

    Level 2

        semantic feedback from a portion of the program

    Level 3

        incremental semantic feedback