miscellaneous atomspace cleanups