Now prints notsames for vars.
Now allows non-var terms to be in notsames.