Change the way semantic is called to allow for looping and handling [SS]
bool binop 2nd operand recursion works
Can check nested and recursed boolean binop exprs