Completed Type checking for binary expressions
Type checking for expressions now fully implemented