add optimize faint
Merge branch 'master' of https://github.com/weishi/cs243lab2
operator type check