"Given two [[Comparable]] values, return largest of the two."
see (`interface Comparable`, 
     `function smallest`, 
     `function max`)
tagged("Comparisons")
shared Element largest<Element>(Element x, Element y) 
        given Element satisfies Comparable<Element> 
        => x>y then x else y;