tweaks to trace to print lists nicely, and infix 'in'

Simplify error message pertaining to retracting a rule and when a query or trace
fails.