associate type invariants to the code that motivated checking them
Currently, there is no color associated with a type invariant. To figure out where one is in the code one has to click on the goal that is immediately before or after the list of type invariants, and then look for what code afterwards might have motivated checking the invariants.