Common Program-Logic Tactic Infrastructure

Aggregator import for the shared metaprogramming layer underlying the unary and relational program-logic tactics: the core helpers, naming utilities, spec IR, rule registries, backward reasoning, wpStep dispatch, and Try this suggestions.