More stuff for sema for binary expression