Fixed type checking for operators
Added results for regression tests