pretty printing for AST.Type as external function