TraverseType:
    | boolean
    | Operation
    | Comparison
    | string
    | number
    | {
        [key: string]: TraverseType;
    }
    | TraverseType[]

A type representing the possible types that can be traversed in an expression.