[hierarchy and definition] ordered pair

could be a subclass of list

that would be a list with two elements in a fixed order