https://en.wikipedia.org/wiki/Data_type
In computer science and computer Programming, a data type or simply type is a classification identifying one of various types of data, such as real, integer or Boolean, that determines the possible values for that type; the operations that can be done on values of that type; the meaning of the data; and the way values of that type can be stored.
static vs dynamic typing: http://stackoverflow.com/questions/1517582/what-is-the-difference-between-statically-typed-and-dynamically-typed-languages (see third answer).
How do compiled dynamically typed languages work? Do they store type data (unlike it says here?)
https://en.wikipedia.org/wiki/Type_inference
Integer
Float
Other classes