Implement and enable --dt-var-exp-quant, cleanup trace messages, minor changes for relevant term filtering.