mktable: better formatting
Exp: what if we disable merging up to renaming?

Turned out we cannot disable it completely: we need
some kind of argument normalization anyway.
(Because otherwise we wouldn't be as powerful as
normal supercompilers scince we wouldn't be able to
perform folding with non-id renaming)