make naiveEval a separate util function
move loop-ending logic to naiveEval util function
start seminaive evaluator, stuck on set difference function
add start of set_difference implementation