updated some type conversions to ATS2