3428 - back to lite's macex

Top-level macro seems to be expanding flawlessly.
3429 - let's always petrify in lite version
3430
3431 - macex expands inner forms

But effect on consing is still minimal. What's going on?
3432