val right: DirFormula
Overrides Binary.right
The child of this element which is the root of the right subtree.