add quantified tvars to type_description