clean up: Subterm extraction is improved - paths are normalized lazily. Raw paths are queued.