updating semantic analyzer to pass tests: operators
Merge branch 'code' of github.com:kyzhai/SMURF into code