unnest type constructors
recover more information of Def tree when parsing error