add some constructors for SymbolicManip