Translate "External Types and Values in ATS"