"The abstract supertype of all types. A value of type 
 `Anything` may be a definite value of type `Object`, or 
 it may be the `null` value. A method declared `void` is 
 considered to have the return type `Anything`.
 
 Note that the type `Nothing`, representing the 
 intersection of all types, is a subtype of all types."
by ("Gavin")
shared abstract class Anything() 
        of Object | Null {}