add instances of Show for SymbolicManip