PR# 3773 Should be VHPR-1 when inheriting from NONE

5.5.0409, not checked with 5.5.0616

When a class inherits from NONE, ISE Eiffel reports the following error:

-------------------------------------------------------------------------------
Error code: VTCT
Error: type is based on unknown class.
What to do: use an identifier that is the name of a class in the universe.

Class: GELINT
Unknown class name: NONE
-------------------------------------------------------------------------------

This is not correct: NONE is a special class that should be known by the compiler. For example when I declare an attribute of type NONE I don't get a VTCT error.

The error that should have been reported is VHPR-1: GELINT inherits from NONE and NONE is a descendant of GELINT.