Looks like I broke the trivial tactic?
Rename Truncation/Inh to Squash
Add built-in syntax for the squash operator