Safety levels are used to represent the level of security a variable has within the security analysis. 

The set of safety levels is finite and has a partial order by <=. The order is reflexive, transitive and antisymetric.

The levels are not given a number, but a name. This allows for further extension
in the future. Safety levels that are ranked higher are safer.

| *Name(s)*																	 | *Explenation*														  |
| safe																			| Safe/Unknown (default value for variables), upper bound  |
| integer-type, null-type, object-type, array-type, float-type | Specific types														 |
| string-from-list, matched-string									  | String is matched to a certain value.						  |
| formatted-string, encoded-string									  | String is formatted in a special way (e.g. dates, hashed)|
| escaped-html, escaped-shell, escaped-slashes					  | String has no un-escaped character sequences				 |
| raw-input																	 | Raw input that is not to be trusted							 |
| unsafe																		 | Lower bound															 |

-- Main.EricBouwers - 29 Dec 2006