fix encoding of Args - list of XML.Text() just concats everything
support export of InstTerms