How are values of a datatype represented?

I added a short chapter of the title “Datatypes”:

http://ats-lang.sourceforge.net/DOCUMENT/ATS2TUTORIAL/HTML/ATS2TUTORIAL-BOOK.html

In particular, it explains how values of a datatype are represented in ATS.