Icons

Describes the icons used in the IDE to represent types in the Problem browser, and types and sets in call stacks.