dump-ast: support printing the type information