HeaderType -- a class of lists with abbreviated constructors

Description

These are the types X of lists that can be constructed by expressions of the form X {a,b,c,...}. They also act on sequences.

i1 : X = new HeaderType of BasicList

o1 = X

o1 : HeaderType

i2 : X {a,b,c}

o2 = X{a, b, c}

o2 : X

Adjacent -- the class of all adjacent expression pairs
BinaryOperation -- the class of all binary operation expressions
Divide -- the class of all divide expressions
Equation -- the class of all equation expressions
FunctionApplication -- the class of all function application expressions
MapExpression -- the class of map expressions
MatrixDegreeExpression -- the class of all matrix expressions with prescribed degrees
MatrixExpression -- the class of all matrix expressions
Power -- the class of all power expressions
RowExpression -- the class of all matrix expressions
SparseMonomialVectorExpression -- the class of all sparse monomial vector expressions
SparseVectorExpression -- the class of all sparse vector expressions
Subscript -- the class of all subscript expressions
Superscript -- the class of all superscript expressions
Table -- the class of all table expressions
VectorExpression -- the class of all vector expressions

The object HeaderType is a type, with ancestor classes Type < MutableHashTable < HashTable < Thing.