type check for operators implemented.
Added code for showing exceptions.