module-local typedefs were actually done ((_prefix), fixed a bit prettyprinting