.isNode
.isSymbolNode
type.isNode(x)
OperatorNode.isUnary
OperatorNode.isBinary
isCommutative
isAssociative