Operator type mismatch detetcion implemented