Messy rebase

Author: Vaibhavdixit02

src/types.jl

@@ -1069,7 +1069,6 @@ end
 
 function -(a::SN)
     !issafecanon(*, a) && return term(-, a)
-    !nometa(b) && return term(-, a)
     !nometa(a) && return term(-, a)
     isadd(a) ? Add(sub_t(a), -a.coeff, mapvalues((_,v) -> -v, a.dict)) :
     Add(sub_t(a), makeadd(-1, 0, a)...)