With respect, Vitaliy, I ran your code on my I5 laptop, just up to exp = Show . . .
It took 20 minutes, and this just to tessellate a simple solid which was only a composition of rectangular solids -- a trivial job. None of my real applications are so limited. For any meaningful STL export, Mathematica needs a fully functional tessellation capability for solids with curved surfaces. A first step is to be able to handle all the solids which can be generated by Mathematica 3D primitives. But what is really needed is to extend that to all solids defined by closed parametrically defined surfaces.
This does not cover export of solids to modern CAD standard formats such as STEP, IGES, and Parasolid. For this there may well be a restriction requiring the solid to be a composition of accepted primitives. But this needs to be undertaken before WRI claims to be capable of interchange with current standards,
Kind regards,
David