    "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 {}