DDlog lints

[ryzhyk]

• [ ] Detect unused variables in rules and functions
• [ ] Detect unused intermediate relations (i.e., relations that are neither output nor used to compute other relations).
• [ ] Grouping by complex variables or variables wrapped in Ref<> is inefficient. Ideally, one should group by one or several small identifiers.
• [ ] ???