val upA : (andT,'s,'g) position -> (orT,'s,'g) position option
val upO : (orT,'s,'g) position -> (andT,'s,'g) position
val downA : (andT,'s,'g) position -> ('s,'g) subtreeO
-val downO : (orT,'s,'g) position -> ('s,'g) subtreeA
+val downO : (orT,'s,'g) position -> ('s,'g) subtreeA
+val downOr : (orT,'s,'g) position -> ('s,'g) subtreeA
val left : ('a,'s,'g) position -> ('a,'s,'g) position option
val right : ('a,'s,'g) position -> ('a,'s,'g) position option