munger: allow showtypes to take an argument indicating the trace level

Looking at the output of setting the types trace to 2, this is probably
fairly useless. But it's backwards compatible and (hopefully) benign.