A point in projective space is represented as an object in the class Point. An element of this class is a BasicList.
The object Point is a type, with ancestor classes BasicList < Thing.