Overrode __mul__ to allow for syntactically nicer binding, i.e., a*b = a.bind(b) for a,b Symbols
CleanUpMemory now provides a null Symbol for trace composition.