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.
The source of this document is in Hadamard.m2:183:0.