Secure Types:
- Data Types (denoted by τ) --- a set of security classes partially ordered by <=
- Phrase Types
- Data types for expressions
- Variable types (τ var) --- variable that stores information at level τ or lower
- Command types (τ cmd) --- every assignment in the command assigns to level τ or higher
