type-check AssignmentExps