///| pub typealias (Token, @basic.Position, @basic.Position) as Triple ///| pub typealias Array[Triple] as Triples