Add SEq instances for Nat/Symbol; keep fixing TH exports!