External Types and Values in ATS