SelfInitializingType

SelfInitializingType -- the class of all self initializing types.

A self initializing type X will produce an instance of X from initial data v with the expression 'X v'.

     i1 = X = new SelfInitializingType of BasicList
     
     o1 = X
     
     o1 : SelfInitializingType

     i2 = x = X {1,2,3}
     
     o2 = X{1,2,3}
     
     o2 : X

     i3 = class x
     
     o3 = X
     
     o3 : SelfInitializingType

Command is an example of a self initializing type.