fn check_bin_op(bin_op: &Expr<()>) -> Result<()>
check if binary op expr is legal(with one typename and one None)
None