    "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 bottom type `Nothing`, representing the
     intersection of all types, is a subtype of all types."
    by ("Gavin")
    tagged("Basic types")
    shared abstract class Anything()
            of Object | Null {}