Minor pattern-matcher cleanup.

Remove some of the left-over cruft.   The pattern matcher never actually uses the atomspace; however, some of the callbacks create new atoms and need to put them in the atomspace; thus, those callback do need the atomspace.  Make this division of labor clear.