Data.Number.Symbolic
data
Sym
a
var
con
subst
unSym