w is represented by the list consisting of a root system and w applied to the half-sum of positive roots
The object WeylGroupElement is a type, with ancestor classes BasicList < Thing.