Add reverse to lists signature.
Stab at generating extra rules that don't participate in critical pairs.