A boolean expression
the type of the variable elements. This allows representing BooleanExpression that only contain variables and other that may also contain possibleTypes