Special exceptions are now classes instead of an enumeration.
ExceptionScreen now own the screen last screen.
Not proof-compiled...