Add a tree output format and the concrete types of tyvars