add Mul.is_nonzero handling
simplify Mul.is_antihermitian routine