Remove lots of duplication across abs₁ .. abs₆
Remove lots of duplication across abs₁ .. abs₆

The new code is much more clever. Still not perfect, with varying
arities we can probably do better.

inc-lc/ilc-agda