fun copy(left: Formula, right: Formula): ForAll
Create a copy of the original object but optionally replace the left or right child element.