Implemented type checking for assignment, if expression and while expressoin