more flexible printing of types from the command line